Re: [boost] [GGL] Is this a bug, or undocumented behavior?