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:0886ed0a8c9fThanks 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