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/observer | |
| 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/observer')
0 files changed, 0 insertions, 0 deletions