+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.vlad(a)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(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/hibernate-dev