diff options
| author | Björn Gustavsson <[email protected]> | 2019-01-17 13:17:30 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-01-17 13:19:41 +0100 |
| commit | 1f9079c975aea1813d446d49375409cb68747ffe (patch) | |
| tree | f3b08f090305dba9e5910bb6c1cd7479d4ca5c8a /make | |
| parent | 401bd13ffd39052d4125fbc6fc8360dc08121883 (diff) | |
| download | otp-1f9079c975aea1813d446d49375409cb68747ffe.tar.gz otp-1f9079c975aea1813d446d49375409cb68747ffe.tar.bz2 otp-1f9079c975aea1813d446d49375409cb68747ffe.zip | |
Fix incorrect dumping of some persistent terms
There seems to be an incorrect merge conflict resolution
in abde22933f5a that merged maint to master. Dumping of
references (and possibly other terms) were broken.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions