diff options
author | Rickard Green <[email protected]> | 2018-08-11 15:45:51 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-08-11 15:45:51 +0200 |
commit | ce0c75c557bdc239622a6de5ec2edb593baf4773 (patch) | |
tree | 12855d851f4599f65a961a4d3c536482db2c8f40 /HOWTO/INSTALL.md | |
parent | 8cb79ba4d3b665e06a39c3437d7227c831753945 (diff) | |
parent | 5e64ffd74845a2b3b0a31968d31b2b409de41ca1 (diff) | |
download | otp-ce0c75c557bdc239622a6de5ec2edb593baf4773.tar.gz otp-ce0c75c557bdc239622a6de5ec2edb593baf4773.tar.bz2 otp-ce0c75c557bdc239622a6de5ec2edb593baf4773.zip |
Merge branch 'maint-19' into maint
* maint-19:
Updated OTP version
Update release notes
Update version numbers
syntax_tools: Fix a bug regarding reverting map types.
Diffstat (limited to 'HOWTO/INSTALL.md')
0 files changed, 0 insertions, 0 deletions