diff options
author | Henrik Nord <[email protected]> | 2017-08-25 13:13:20 +0200 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2017-08-25 13:13:20 +0200 |
commit | 3bc5c3b35b3151143dffe94290c9ddf29b1b10d6 (patch) | |
tree | 74c0402d867c894fe829649062e10f6cf5ba08fa /lib/public_key/src/public_key.erl | |
parent | 55acf245c53b1a4b36ea4514bdc93b3acba699a1 (diff) | |
parent | a230f26086b3db9097f06d4bb91fb3b2e9379c77 (diff) | |
download | otp-3bc5c3b35b3151143dffe94290c9ddf29b1b10d6.tar.gz otp-3bc5c3b35b3151143dffe94290c9ddf29b1b10d6.tar.bz2 otp-3bc5c3b35b3151143dffe94290c9ddf29b1b10d6.zip |
Merge branch 'maint-20' into maint
* maint-20:
Updated OTP version
Prepare release
dialyzer: Fix a bug where merging PLT:s could lose info
Diffstat (limited to 'lib/public_key/src/public_key.erl')
0 files changed, 0 insertions, 0 deletions