On Wed, Jul 24, 2013 at 1:56 PM, Joachim Jacob | VIB | joachim.jacob@vib.be wrote:
Hmm, seems that collaborating on tools is kind of a burden... Three places to notify this small change you say? (trello, galaxy-dev and direct emailing to the authors.)
I have opted for Trello, card #1013 Cheers,
https://trello.com/c/GVq8Vpsi/1013-bug-some-characters-not-permitted-in-add-...
Well in this case the tool authors are the Galaxy Developers, so you can email them directly, via the galaxy-dev list, or their issue tracker which is Trello.
Ideally every tool's README file would include contact details...
Peter