diff options
author | Siri Hansen <[email protected]> | 2018-09-10 10:31:10 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2018-09-10 10:31:10 +0200 |
commit | 4f11bb85a427d60ca55ffa63128f17b9dba98bd6 (patch) | |
tree | 67a23dcbc0eaf2a63c855bbb6c5595712ce4fd55 /lib/syntax_tools/src | |
parent | 5fe1429bead05775cda23239cb47d57f056e3647 (diff) | |
parent | 3b50bb697121de96d03deffcd65ed5859de86558 (diff) | |
download | otp-4f11bb85a427d60ca55ffa63128f17b9dba98bd6.tar.gz otp-4f11bb85a427d60ca55ffa63128f17b9dba98bd6.tar.bz2 otp-4f11bb85a427d60ca55ffa63128f17b9dba98bd6.zip |
Merge branch 'siri/supervisor/warn-shutdown-race/ERL-724' into maint
* siri/supervisor/warn-shutdown-race/ERL-724:
[supervisor] Add warning about race condition
Diffstat (limited to 'lib/syntax_tools/src')
0 files changed, 0 insertions, 0 deletions