diff options
author | Björn Gustavsson <[email protected]> | 2018-08-15 06:02:58 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-08-15 06:02:58 +0200 |
commit | e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75 (patch) | |
tree | 3e066bb7395b97092c1dc09f49e1817575276d32 /scripts | |
parent | f5fc1454633901cd3cceca45497692a623f0eef1 (diff) | |
parent | fa8503ffb0ab910eef28ee973abb30ecab9ef114 (diff) | |
download | otp-e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75.tar.gz otp-e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75.tar.bz2 otp-e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75.zip |
Merge pull request #1928 from bettio/fix-remove_message_doc
remove_message does not store any pointer to x0
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions