diff options
author | Dan Gudmundsson <[email protected]> | 2011-09-21 12:01:52 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2011-09-21 12:01:52 +0200 |
commit | 7b6012a75f26219e5a8c803a0509d97d1b00c73a (patch) | |
tree | ef2e44abac489a7730268b0329316b0f03fdb2de /.gitignore | |
parent | 2629a629a2f5b16067d9ca6f99be9711c52bf9ca (diff) | |
parent | a6bd22387b3647a5e2669314c800454ccde9b0b3 (diff) | |
download | otp-7b6012a75f26219e5a8c803a0509d97d1b00c73a.tar.gz otp-7b6012a75f26219e5a8c803a0509d97d1b00c73a.tar.bz2 otp-7b6012a75f26219e5a8c803a0509d97d1b00c73a.zip |
Merge branch 'dgud/mnesia/leaking-log/OTP-9551' into dev
* dgud/mnesia/leaking-log/OTP-9551:
[mnesia] Use api to log decisions.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions