Skip to content

keel serve: socket timeout, GET drain, halt never creates a DB, halt outlives the remote lifetime; stale citations (#981 #982 #983) - #987

Merged
eaitbrahim merged 4 commits into
mainfrom
fix/981-982-serve-hygiene
Oct 13, 2026
Merged

keel serve: socket timeout, GET drain, halt never creates a DB, halt outlives the remote lifetime; stale citations (#981 #982 #983)#987
eaitbrahim merged 4 commits into
mainfrom
fix/981-982-serve-hygiene

Commits

  1. Commits on Oct 12, 2026