diff options
| author | Dan Gudmundsson <[email protected]> | 2019-02-25 11:52:12 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-02-25 11:52:12 +0100 |
| commit | 7e21a18877374cfaef1fe839a5cd78599eb2d9d6 (patch) | |
| tree | ddfd61fd50ffbed9296ec84522c2836566f1e3fa /.dir-locals.el | |
| parent | d6b3eb786192800d0b3903bb591ed49d007a1f3d (diff) | |
| parent | 5e40f34b27454b38c1eff389e9c68c84a1d26290 (diff) | |
| download | otp-7e21a18877374cfaef1fe839a5cd78599eb2d9d6.tar.gz otp-7e21a18877374cfaef1fe839a5cd78599eb2d9d6.tar.bz2 otp-7e21a18877374cfaef1fe839a5cd78599eb2d9d6.zip | |
Merge branch 'dgud/mnesia/overload-raise/ERIERL-310/OTP-15619' into maint
* dgud/mnesia/overload-raise/ERIERL-310/OTP-15619:
mnesia: Avoid raise in overload reports
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions