Bug: resetting REPL does not reset debug flag

[Robert Field]

This is a feature, not a bug.  ;-)

/debug is also not an end-user feature,

-Robert

On 02/26/15 04:14, andrei.eremeev wrote:
> Hi REPL team,
>
> -> /debug
> |  Debugging on
>
> -> /reset
> |  Resetting state.
>
> -> /debug
> |  Debugging off
>
> Andrei Eremeev