diff options
author | Rickard Green <[email protected]> | 2018-06-13 09:28:01 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-06-13 09:28:01 +0200 |
commit | 78100134e1fa6948dc19058c27ddab4ac1aa0e8c (patch) | |
tree | ece0feea35d2fee0db53fe6bd158e4b87a0b7adf /make/save_args | |
parent | 01b9a90da5e09df3bbfa10a6f701d56b44d2603f (diff) | |
parent | 23abd013424f8264e422f7f478a71919d5684309 (diff) | |
download | otp-78100134e1fa6948dc19058c27ddab4ac1aa0e8c.tar.gz otp-78100134e1fa6948dc19058c27ddab4ac1aa0e8c.tar.bz2 otp-78100134e1fa6948dc19058c27ddab4ac1aa0e8c.zip |
Merge branch 'rickard/xcomp-fix/OTP-15096'
* rickard/xcomp-fix/OTP-15096:
Ensure no progress reports when checking OTP release
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions