diff options
author | Dan Gudmundsson <[email protected]> | 2017-12-19 10:21:14 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-12-19 10:21:14 +0100 |
commit | ac3328d8a231806a8c3444c636c606dcd59d9347 (patch) | |
tree | 32cd5a50d92d9c5ed5b078a054b4a3d0406b8295 /lib/mnesia/src/mnesia_monitor.erl | |
parent | 9cbab81f1a38f568fd0bf9738230ce2ebeab0191 (diff) | |
parent | 194513197e19cd592f3f5c2231510542f5193fe4 (diff) | |
download | otp-ac3328d8a231806a8c3444c636c606dcd59d9347.tar.gz otp-ac3328d8a231806a8c3444c636c606dcd59d9347.tar.bz2 otp-ac3328d8a231806a8c3444c636c606dcd59d9347.zip |
Merge branch 'maint-20' into maint
* maint-20:
Updated OTP version
Prepare release
mnesia: Fix checkpoint crash
Diffstat (limited to 'lib/mnesia/src/mnesia_monitor.erl')
0 files changed, 0 insertions, 0 deletions