diff options
author | Rickard Green <[email protected]> | 2016-09-01 16:15:31 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-09-01 16:15:31 +0200 |
commit | 38daafda48a5d3ecc20eddc3372daeedbe152f0f (patch) | |
tree | 13d34509ba979a646c5237baee6586208bb1a1d0 /lib/mnesia/doc/src/Mnesia_App_B.xmlsrc | |
parent | a58f6dd61a4df4b5f5b869279bfc1175a50a4e8c (diff) | |
parent | c80b031b42eb3b52f7138c874defcd555446dba7 (diff) | |
download | otp-38daafda48a5d3ecc20eddc3372daeedbe152f0f.tar.gz otp-38daafda48a5d3ecc20eddc3372daeedbe152f0f.tar.bz2 otp-38daafda48a5d3ecc20eddc3372daeedbe152f0f.zip |
Merge branch 'rickard/default-dirty-schedulers/OTP-13860'
* rickard/default-dirty-schedulers/OTP-13860:
Enable dirty scheduler support as default
Diffstat (limited to 'lib/mnesia/doc/src/Mnesia_App_B.xmlsrc')
0 files changed, 0 insertions, 0 deletions