diff options
author | Rickard Green <[email protected]> | 2018-10-22 18:24:51 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-10-22 18:24:51 +0200 |
commit | 18aabe65117a7c2f9ca55bcbbfaa8847af9486ed (patch) | |
tree | f084eaeee9949a7cae59703fa760d1d86e2496bf /erts | |
parent | 2dbf5bf8c3b91c17ed79f13df3eb08c0b943218c (diff) | |
download | otp-18aabe65117a7c2f9ca55bcbbfaa8847af9486ed.tar.gz otp-18aabe65117a7c2f9ca55bcbbfaa8847af9486ed.tar.bz2 otp-18aabe65117a7c2f9ca55bcbbfaa8847af9486ed.zip |
Update version info for internal patch merge scripts
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions