diff options
author | Dan Gudmundsson <[email protected]> | 2018-08-13 15:24:03 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2018-08-13 15:25:25 +0200 |
commit | 4fc61aa178faa80290356a63d8e38d93697b9669 (patch) | |
tree | f98854f6e215a760fbe2040451dd16d019485831 /lib/stdlib/doc/src/Makefile | |
parent | 8442906fca8f52757e473e82c72c9b04d98ad996 (diff) | |
parent | e052249e6ce4da0c6a022bb8da0186cd678e1054 (diff) | |
download | otp-4fc61aa178faa80290356a63d8e38d93697b9669.tar.gz otp-4fc61aa178faa80290356a63d8e38d93697b9669.tar.bz2 otp-4fc61aa178faa80290356a63d8e38d93697b9669.zip |
Merge remote-tracking branch 'upstream/pr/1858' into maint
* upstream/pr/1858:
Fix delete_object and write convergence in transaction.
OTP-15231
Diffstat (limited to 'lib/stdlib/doc/src/Makefile')
0 files changed, 0 insertions, 0 deletions