On Thu, Jun 16, 2011 at 2:23 PM, Daniel Blankenberg dan@bx.psu.edu wrote:
Hi Peter,
If you were curious it was fixed about 7 hours later in 5681:0886ed0a8c9f
Thanks for using Galaxy,
Dan
Thanks - I know this kind of unexpected breakage is inevitable sometimes, but would recommend tool developers in general run with galaxy-dist or galaxy-central?
Peter