2013/1/23 Iustin Pop <[email protected]>: > On Wed, Jan 23, 2013 at 02:41:30PM +0100, Michael Hanselmann wrote: >> I accidentially pushed af3aea4 on the master branch, when it should actually >> have gone onto devel-2.7 (it was a bugfix). Without much thinking I >> cherry-picked the branch onto devel-2.7, […] > > Without review??
Yes as the two branches were exactly the same. I pushed the merge now. Sorry! Michael
