No issue with the "noise", but thanks for heads up. One question - did we *delete* history? There's certainly commits I did after September 16th but before December 4th which are no-where to be seen here. I didn't even know you could do that. Irrespective of whatever issues there are with what I committed, should we ever do that? I'd have thought a revert would be better.
Jon On Sat, Dec 3, 2016 at 5:02 PM, Romain Manni-Bucau <[email protected]> wrote: > Hi guys, > > sorry for the noise on commit list but messed up a git script (to merge > features from master) and lost part of 1.7.x. JL helped me to revert it and > fix it so we should be as expected now. > > Romain Manni-Bucau > @rmannibucau <https://twitter.com/rmannibucau> | Blog > <https://blog-rmannibucau.rhcloud.com> | Old Blog > <http://rmannibucau.wordpress.com> | Github <https://github.com/ > rmannibucau> | > LinkedIn <https://www.linkedin.com/in/rmannibucau> | JavaEE Factory > <https://javaeefactory-rmannibucau.rhcloud.com> >
