[boost] [mpl] Request for permission to merge a minor change to release