diff options
author | Dan Gudmundsson <[email protected]> | 2013-11-29 09:51:08 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2013-11-29 09:51:08 +0100 |
commit | 0279799e4f3d2404f657863d04d8c1d6f6c08985 (patch) | |
tree | a38660d14bbfbf43c91a7fdba9aa50752e9c17a6 /lib/webtool/doc/src/notes_history.xml | |
parent | d299987d7e22d1236f14a4e097e8ee805a1b72ea (diff) | |
parent | 9237801d22a38d2643ffe94ab626c4d2815012dd (diff) | |
download | otp-0279799e4f3d2404f657863d04d8c1d6f6c08985.tar.gz otp-0279799e4f3d2404f657863d04d8c1d6f6c08985.tar.bz2 otp-0279799e4f3d2404f657863d04d8c1d6f6c08985.zip |
Merge branch 'dgud/mnesia/sticky-race/OTP-11375' into maint
* dgud/mnesia/sticky-race/OTP-11375:
mnesia: Synchronize lock cleanup after mnesia down
Diffstat (limited to 'lib/webtool/doc/src/notes_history.xml')
0 files changed, 0 insertions, 0 deletions