diff options
author | Rickard Green <[email protected]> | 2018-11-01 11:29:57 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-11-01 11:29:57 +0100 |
commit | c5e3518d1d65a13f8aa354d0575c90eae9fe3deb (patch) | |
tree | e7fce57a5eac12779584341e5fb0f23c140e7c2d /scripts/pre-push | |
parent | fd7be62b180cdb2517c363494cf49260e4a53afa (diff) | |
parent | 1da4135c98d9160d2d890724eb423db1fd1e39a2 (diff) | |
download | otp-c5e3518d1d65a13f8aa354d0575c90eae9fe3deb.tar.gz otp-c5e3518d1d65a13f8aa354d0575c90eae9fe3deb.tar.bz2 otp-c5e3518d1d65a13f8aa354d0575c90eae9fe3deb.zip |
Merge branch 'maint-20' into maint
* maint-20:
Updated OTP version
Prepare release
Diffstat (limited to 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions