diff options
| author | Dan Gudmundsson <[email protected]> | 2017-11-30 12:10:02 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-11-30 12:10:02 +0100 |
| commit | 5033b579c012abb52d4bdcca34f0d8f3a678cb22 (patch) | |
| tree | 6f874c422241a6cfb08e237965db0c9072425371 /erts | |
| parent | 6fb6f4222f2cf924cbb9174d33c3b3190cfe52f2 (diff) | |
| parent | 35266110ade3b34b879327e5bc4bbd2d367e305a (diff) | |
| download | otp-5033b579c012abb52d4bdcca34f0d8f3a678cb22.tar.gz otp-5033b579c012abb52d4bdcca34f0d8f3a678cb22.tar.bz2 otp-5033b579c012abb52d4bdcca34f0d8f3a678cb22.zip | |
Merge branch 'maint'
* maint:
Fix type create_option() in mnesia
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions