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