(merge 3.2) Issue #12423: Fix os.abort() documentation
The Python signal handler for SIGABRT is not called on os.abort() (only if the signal is raised manually or sent by another process). Patch by Kamil Kisiel.
V
Victor Stinner committed
2b49f12a636694bb880127901a43d821dec8a094