RFR 8171343: jshell tool: missing options: --help-extra --show-version

[Jan Lahoda]

Seems OK.

Jan

On 25.1.2017 05:55, Robert Field wrote:
> Please review...
>
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8171343
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8171343v0.webrev/
>
> Thanks,
> Robert
>