Hi Milo, apologies for that. The ORM team had some meetings, travelling, etc.. I guess the PR queue has been temporarily neglected and they'll have to catch up.
I don't think you missed something, good idea to call for attention on the mailing list. Thanks, Sanne On 6 June 2017 at 20:36, Milo van der Zee <m...@vanderzee.org> wrote: > Hello, > > I submitted a pull request and fixed some issues with it (jUnit test and > formatting) and after that nothing happens. How does this work? Do I > just have to be patient or do I miss something? > > https://github.com/hibernate/hibernate-orm/pull/1906 > > MAG, > Milo > > _______________________________________________ > hibernate-dev mailing list > hibernate-dev@lists.jboss.org > https://lists.jboss.org/mailman/listinfo/hibernate-dev _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
