Well someone pushed. Now I'm going to have to force push. Grr On Thu, Feb 15, 2018 at 8:50 AM Steve Ebersole <steve at hibernate.org> wrote: > Per subject. Please do not push to master for the time being... >