Re: [boost] [TypeErasure] Merging pull-requests