Hi Peter,
If you were curious it was fixed about 7 hours later in 5681:0886ed0a8c9f
Thanks for using Galaxy,
Dan
On Jun 16, 2011, at 4:32 AM, Peter Cock wrote:
On Wed, Jun 15, 2011 at 4:56 PM, Peter Cock p.j.a.c...@googlemail.com wrote:
Hi Dan,
I just started work on updating my MIRA
On Thu, Jun 16, 2011 at 2:23 PM, Daniel Blankenberg d...@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
Hi Peter,
Production servers, or any server where you have users, should always track
Galaxy-dist.
Galaxy-central is a development repo (you get access to the latest and
greatest, but also should Expect more bugs to pop up at any given time), from
the Galaxy-central header on bitbucket: Main
On Thu, Jun 16, 2011 at 3:01 PM, Daniel Blankenberg d...@bx.psu.edu wrote:
Hi Peter,
Production servers, or any server where you have users, should always track
Galaxy-dist.
Yes, that's very clear.
Galaxy-central is a development repo (you get access to the latest and
greatest, but also