Looks like the issues I reported directly to you are fixed so it's OK for
me.
Emmanuel?
On Thu, Sep 21, 2017 at 5:10 PM, Yoann Rodiere <yoann(a)hibernate.org> wrote:
No answer? So I guess I can merge it whenever I want? :-)
Yoann Rodière
Hibernate NoORM Team
yoann(a)hibernate.org