Hi, unaware of the fact that commits to the release branch need permission this week I did a commit today (Revision 79767). Sorry for that. So I'd like to ask for permission now. In other words, is it possible to not reverse this commit? Thanks, Joachim -- Interval Container Library [Boost.Icl] http://www.joachim-faulhaber.de