diff options
author | Zandra Hird <[email protected]> | 2015-03-20 14:55:01 +0100 |
---|---|---|
committer | Zandra Hird <[email protected]> | 2015-03-20 14:55:18 +0100 |
commit | b4a9bc73058e9d934143d41e766722f3e3b3d758 (patch) | |
tree | 56c1a53aa08842f42b148b3f627a48c3e1e2247e /lib/.gitignore | |
parent | c0b559c6a0cf6fa9ff7215df59a71b7fa054ed85 (diff) | |
parent | 6f9c07ae2694a2dc1f721fd10af22b8813d15bc1 (diff) | |
download | otp-b4a9bc73058e9d934143d41e766722f3e3b3d758.tar.gz otp-b4a9bc73058e9d934143d41e766722f3e3b3d758.tar.bz2 otp-b4a9bc73058e9d934143d41e766722f3e3b3d758.zip |
Merge branch 'nox/fix-port_info-race' into maint
* nox/fix-port_info-race:
Fix a race condition when calling port_info/1
OTP-12587
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions