diff options
| author | Dan Gudmundsson <[email protected]> | 2016-10-07 09:58:03 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-10-07 09:58:03 +0200 |
| commit | 2110e59e971af2f114eba36b04f36dc6b25a443d (patch) | |
| tree | 06019f9ca3ccc63f8caea271af8a5204e9db8416 /lib/tools | |
| parent | 217bec24c9d369c1bfc14584270ffc90efe5f40c (diff) | |
| parent | 1b4969db6ca0062f629f58c8d3838bcca1ab326b (diff) | |
| download | otp-2110e59e971af2f114eba36b04f36dc6b25a443d.tar.gz otp-2110e59e971af2f114eba36b04f36dc6b25a443d.tar.bz2 otp-2110e59e971af2f114eba36b04f36dc6b25a443d.zip | |
Merge branch 'dgud/mnesia/dirty_select_cont/PR-1184/OTP-13944' into maint
* dgud/mnesia/dirty_select_cont/PR-1184/OTP-13944:
Allow reusing mnesia select continuations
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions