diff options
author | Dan Gudmundsson <[email protected]> | 2017-09-20 09:23:09 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-09-20 09:23:09 +0200 |
commit | 99876dd2dd9150ec4b15220c7fd46ed0b8200a19 (patch) | |
tree | e314c222d9528c7e4c21044fa77965904e8ad9e8 /prebuild.delete | |
parent | 8b24be58d37a8912efdcec9cd1e354cfa41e4ef4 (diff) | |
parent | bec2eddd5a3ebf5947d5305bfc8f4e82e84b6681 (diff) | |
download | otp-99876dd2dd9150ec4b15220c7fd46ed0b8200a19.tar.gz otp-99876dd2dd9150ec4b15220c7fd46ed0b8200a19.tar.bz2 otp-99876dd2dd9150ec4b15220c7fd46ed0b8200a19.zip |
Merge branch 'maint'
* maint:
erts, stdlib: Fix xmllint warning
Update runtime deps to depend on new stdlib functionality
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions