+1 to merge it (if it works - which I didn't check) Some history can easily be found: - http://lists.jboss.org/pipermail/hibernate-dev/2017-January/015758.html
Thanks, Sanne On 11 December 2017 at 15:24, Vlad Mihalcea <mihalcea.v...@gmail.com> wrote: > Hi, > > I've noticed this Pull Request which is valid and worth integrating: > > https://github.com/hibernate/hibernate-orm/pull/2078 > > Before I merge it, I wanted to make sure whether this change was accidental > or intentional. > > Was there any reason not to ship the JavaDoc jars along with the release > artifacts and the sources jars as well? > > Thanks, > Vlad > _______________________________________________ > 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
