Re: [galaxy-dev] bug with Galaxy form validation and dynamic_options population of drop-down menus where option values are integers