Re: [Galaxy-user] how to share the history?