diff options
author | Rickard Green <[email protected]> | 2013-06-10 14:28:40 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2013-06-10 14:28:40 +0200 |
commit | e6c7db595f50ae0606b3177451bcfcdc28f9d3c0 (patch) | |
tree | af702dd5c32469a47a655a900d4cbb62507d800f /lib/mnesia/doc/src/mnesia.xml | |
parent | 7c0447ddf6f134e9e25730e9afaf793db24f095c (diff) | |
parent | 06a823824bfca081f3d3bc790cf009eb4aadd353 (diff) | |
download | otp-e6c7db595f50ae0606b3177451bcfcdc28f9d3c0.tar.gz otp-e6c7db595f50ae0606b3177451bcfcdc28f9d3c0.tar.bz2 otp-e6c7db595f50ae0606b3177451bcfcdc28f9d3c0.zip |
Merge branch 'maint'
* maint:
Fix bad fix of erts_stale_drv_select()
Diffstat (limited to 'lib/mnesia/doc/src/mnesia.xml')
0 files changed, 0 insertions, 0 deletions