diff options
| author | Dan Gudmundsson <[email protected]> | 2013-06-10 10:47:10 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-06-10 10:47:10 +0200 |
| commit | a49832f74d364e01d9fb7a98caf3ca942a0a0341 (patch) | |
| tree | af65b1bbdb4bd0a8656a9705c67274433680cfb6 /lib/tools/info | |
| parent | 9e20ac47b7107dcda818b20f6622e56f52a5ef64 (diff) | |
| parent | cb5bd884c96bdb0590162638530ea52b8f549985 (diff) | |
| download | otp-a49832f74d364e01d9fb7a98caf3ca942a0a0341.tar.gz otp-a49832f74d364e01d9fb7a98caf3ca942a0a0341.tar.bz2 otp-a49832f74d364e01d9fb7a98caf3ca942a0a0341.zip | |
Merge branch 'dgud/mnesia-unsubscribe-fix' into maint
* dgud/mnesia-unsubscribe-fix:
mnesia: Fix (timing issue) testcase
mnesia: Fix unsubscribe error handling
Diffstat (limited to 'lib/tools/info')
0 files changed, 0 insertions, 0 deletions