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
arti
+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 wrote:
> Hi,
>
> I've noticed this Pull Request which is valid and worth in
Because we decided it is generally not useful to release jars of javadocs
that do not inter-link, which is why we spent so much effort producing the
aggregated javadocs.
On Mon, Dec 11, 2017 at 1:12 PM Vlad Mihalcea
wrote:
> Hi,
>
> I've noticed this Pull Request which is valid and worth integra
