Andrea Pescetti <> has asked  for 4.1.2_release_blocker:
Issue 126258: javadoc fails to build

--- Comment #6 from Andrea Pescetti <> ---
I suggest that we include this patch in 4.1.2:
- One-line patch
- Fixes a build problem when using a recent version of GNU Patch, which does
not support patching files in the ".." directory any longer, see
- Affects the build process only and not the program operations

It is needed unless one builds with --disable-odk or on an old system; so it's
very helpful to include it in 4.1.2.

To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to