diff options
author | Dan Gudmundsson <[email protected]> | 2019-01-25 13:05:18 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-01-25 13:05:18 +0100 |
commit | 5ed2f3d9757c9f2b8e49a4796e2a384c938d80dd (patch) | |
tree | 980ffc10ff8629430acc0fd514232457939a65cd /lib/et/Makefile | |
parent | 7cd0271e226ddd727867b0f923a00d9f58167a5f (diff) | |
parent | 8332bff4ceebd08d103623f59f7761d8e9367f69 (diff) | |
download | otp-5ed2f3d9757c9f2b8e49a4796e2a384c938d80dd.tar.gz otp-5ed2f3d9757c9f2b8e49a4796e2a384c938d80dd.tar.bz2 otp-5ed2f3d9757c9f2b8e49a4796e2a384c938d80dd.zip |
Merge pull request #2029 from richcarl/mnesia-read-local-if-available
Mnesia should always use the local context if available
OTP-15550
Diffstat (limited to 'lib/et/Makefile')
0 files changed, 0 insertions, 0 deletions