Re: [Boost-users] [statechart] history not saved