aboutsummaryrefslogtreecommitdiffstats
path: root/TAR.include
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2019-01-17 13:17:30 +0100
committerBjörn Gustavsson <[email protected]>2019-01-17 13:19:41 +0100
commit1f9079c975aea1813d446d49375409cb68747ffe (patch)
treef3b08f090305dba9e5910bb6c1cd7479d4ca5c8a /TAR.include
parent401bd13ffd39052d4125fbc6fc8360dc08121883 (diff)
downloadotp-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 'TAR.include')
0 files changed, 0 insertions, 0 deletions