Re: [boost] [1.38][statechart] Permission to merge 2 minor fixes