[GitHub] ant pull request #:

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[GitHub] ant pull request #:

Github user twogee commented on the pull request:

    In manual/install.html:
    In manual/install.html on line 931:
    Sorry about nitpicking: I would prefer a space between Java and the version.
    java.activation.jmod is still there in Java 10, but must be activated by a command-line option.
    It will be gone completely in Java 11, I suppose.


To unsubscribe, e-mail: [hidden email]
For additional commands, e-mail: [hidden email]