[Boost-users] [statechart] Added triggering_event() to the trunk (will be in 1.42 release)