edgedb-ui icon indicating copy to clipboard operation
edgedb-ui copied to clipboard

Published 20 hours ago • verified publisher icon edgedb

Update session state from `set global/alias/module ...` and `configure session ...` commands

Open jaclarke opened this issue 1 year ago • 0 comments

Depends on https://github.com/edgedb/edgedb-js/pull/651

jaclarke avatar Jun 14 '23 21:06 jaclarke