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