aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-17 23:40:39 +0200
committerClombrong <cromblong@egregore.fun>2025-06-17 23:41:19 +0200
commit7a1b6a1d14b549de17c4f98b3a4ed80027f1fcac (patch)
treecf5f2f297715cee08f5fb2e3ab965babdb7c9a2f /dune-project
parentc91d16adf3253ff1224fb093c7708964e6b2a978 (diff)
feat(portal-websockets): return a stream of signals with stanza_close
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions