Re: [galaxy-dev] How to retrieve the current history ID