Re: [galaxy-dev] History not updating for multiple instances of Galaxy