Re: [boost] Proposed patch for Ticket #8250