![](https://secure.gravatar.com/avatar/871426dddc1a9f702316c1ca03a33d9b.jpg?s=120&d=mm&r=g)
24 Jul
2013
24 Jul
'13
8:30 a.m.
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