Fix disconnect status not resetting history items in Console#128
Merged
mofojed merged 1 commit intodeephaven:mainfrom Jul 22, 2021
Merged
Fix disconnect status not resetting history items in Console#128mofojed merged 1 commit intodeephaven:mainfrom
mofojed merged 1 commit intodeephaven:mainfrom