Hi Greg,
When updating the version number of a tool I noticed that, as expected, both
the old version and the new version of the tool become available in the Galaxy
environment. What I did not expect is that the new version resulted in a new
entry in the menu bar (see screenshot):
Pieter,
Thank you for this report, I have reproduced this behavior in my local
Galaxy instance. I did however notice that the tool version drop-down is
still available on the tool's page, but multiple entries in the
left-hand tool panel is not intended behavior. I've created a Trello
card to