Re: [boost] Release Managers: permission to merge small feature to release?