Re: [galaxy-dev] Bug on current history when using prefix in galaxy input file