+1
Mandy
> On Jul 26, 2017, at 11:57 AM, Jonathan Gibbons
> wrote:
>
> Continuing the ongoing docs cleanup, please review this fix to remove a
> superfluous
> in the docs for the java.scripting module.
>
> No webrev; just one line deleted, as shown here:
>
> $ hg diff -R jdk
> diff -r d93f
+1
> On Jul 26, 2017, at 2:57 PM, Jonathan Gibbons
> wrote:
>
> Continuing the ongoing docs cleanup, please review this fix to remove a
> superfluous
> in the docs for the java.scripting module.
>
> No webrev; just one line deleted, as shown here:
>
> $ hg diff -R jdk
> diff -r d93f2fd542b7
Continuing the ongoing docs cleanup, please review this fix to remove a
superfluous
in the docs for the java.scripting module.
No webrev; just one line deleted, as shown here:
$ hg diff -R jdk
diff -r d93f2fd542b7 src/java.scripting/share/classes/module-info.java
--- a/src/java.scripting/share
