RFR 8166232: jshell tool: cannot access previous history

[Jan Lahoda]

Seems good to me.

Jan

On 21.2.2018 07:26, Robert Field wrote:
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8166232 <https://bugs.openjdk.java.net/browse/JDK-8166232>
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8166232v0.webrev/ <http://cr.openjdk.java.net/~rfield/8166232v0.webrev/>
>
> Thanks,
> Robert
>