Re: [boost] [1.35] May I merge a low risk, low prio bug fix?