Repository navigation

Fix lost pool timers and the py:call reentrancy deadlock - #86

Merged

benoitc merged 2 commits into

mainfrom

fix/pool-timers-reentrant-call

Sep 22, 2026

Commits on Sep 22, 2026
- Deliver pool loop timers to the loop that set them
  benoitc
  committed
  de52f0c
- Serve nested py:call inline while an erlang.call waits
  benoitc
  committed
  d39e53d