diff options
author | Björn Gustavsson <[email protected]> | 2018-09-03 09:51:52 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-09-03 09:51:52 +0200 |
commit | 31e7b5ab0b72acbbca649b99ade82bba145cc390 (patch) | |
tree | 5b49c6acb97ccbd5daadf2ad1d2301582ea7b8cc /lib/edoc | |
parent | 869537a9bf799c8d12fc46c2b413e532d6e3b10c (diff) | |
parent | 5801fcb2b36e04c433dcf0b90a8c47b86e34fc07 (diff) | |
download | otp-31e7b5ab0b72acbbca649b99ade82bba145cc390.tar.gz otp-31e7b5ab0b72acbbca649b99ade82bba145cc390.tar.bz2 otp-31e7b5ab0b72acbbca649b99ade82bba145cc390.zip |
Merge branch 'maint'
* maint:
ops.tab: Fix potentially unsafe optimization of raise/2
Diffstat (limited to 'lib/edoc')
0 files changed, 0 insertions, 0 deletions