Re: [boost] [graph][BGL][PBGL] Proposed patch for Ticket #8250