On Wed, Apr 24, 2013 at 6:02 PM, Peter Cock p.j.a.c...@googlemail.com wrote:
Hello all,
I can't be the only Galaxy Tool author to have accidentally
made a change on the main Tool Shed my mistake, wrongly
assuming I was on the test Tool Shed (sandbox). In this case
the tool update was
Peter,
That was my mistake, I had put that on my todo list, but neglected to
make a trello card. Thank you for the reminder, I've moved the card to
the appropriate section.
--Dave B.
On 4/30/13 06:38:26.000, Peter Cock wrote:
On Wed, Apr 24, 2013 at 6:02 PM, Peter Cock
Hello all,
I can't be the only Galaxy Tool author to have accidentally
made a change on the main Tool Shed my mistake, wrongly
assuming I was on the test Tool Shed (sandbox). In this case
the tool update was harmless, but it could easily have resulted
in users of my tool downloading a broken