Skip to content

New signal API: trio.open_signal_receiver#619

Merged
pquentin merged 4 commits into
python-trio:masterfrom
njsmith:open-signal-receiver
Aug 23, 2018
Merged

New signal API: trio.open_signal_receiver#619
pquentin merged 4 commits into
python-trio:masterfrom
njsmith:open-signal-receiver

Call the removed thing by the right name

fac80e1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs