Re: [Galaxy-user] error erased history?