Re: [galaxy-user] [galaxy-bugs] Galaxy tool error report from azovoil@gwdg.de