Hello,
I made a few pushes this evening which, for no apparent reason, didn't
notify this list; and some of you probably never want to miss a commit:
*
https://git.haiku-os.org/haiku/log/?qt=range&q=81b9fd211f1f+%5E13249ba05621
*
https://git.haiku-os.org/haiku/log/?qt=range&q=3a3d6c4ae290+%5E81b9fd211f1f
Possibly these should have gone through Gerrit, but that wasn't accepting
pushes at all. Actually I am surprised I could push these to master but not
Gerrit itself...
Hopefully kallisti5 can figure out what's broken before too long (or just
pull the switch and migrate Gerrit to our new infrastructure setup :)
-waddlesplash