This issue tracker has been migrated to GitHub,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
Created on 2019-03-19 16:38 by pierreglaser, last changed 2022-04-11 14:59 by admin. This issue is now closed.
Files | ||||
---|---|---|---|---|
File name | Uploaded | Description | Edit | |
0001-FIX-protect-shared_memory-server-from-SIGINT.patch | pierreglaser, 2019-03-19 16:38 |
Pull Requests | |||
---|---|---|---|
URL | Status | Linked | Edit |
PR 12483 | merged | pierreglaser, 2019-03-21 15:10 |
History | |||
---|---|---|---|
Date | User | Action | Args |
2022-04-11 14:59:12 | admin | set | github: 80549 |
2019-05-18 12:38:22 | pierreglaser | set | status: open -> closed stage: patch review -> resolved |
2019-05-10 18:42:39 | pitrou | set | messages: + msg342117 |
2019-03-21 15:12:09 | pierreglaser | set | messages: + msg338548 |
2019-03-21 15:10:56 | pierreglaser | set | stage: patch review pull_requests: + pull_request12436 |
2019-03-20 15:58:13 | pitrou | set | messages: + msg338489 |
2019-03-20 15:57:51 | pitrou | set | messages: + msg338488 |
2019-03-19 16:38:01 | pierreglaser | create |