16 Jun
2011
16 Jun
'11
8:26 a.m.
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