/php-src

Asynchronous signal handling without TICKs. #1953

Closed
wants to merge 2 commits into
from
+64 −0

Labels

RFC

Milestone

No milestone

Assignees

No one assigned

2 participants

@dstogov @laruence
@dstogov
dstogov commented Jun 24, 2016

No description provided.

@laruence laruence added the RFC label Jun 27, 2016
@dstogov
dstogov commented Jul 6, 2016

Merged into master

@dstogov dstogov closed this Jul 6, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment