diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-11 10:48:09 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-11 17:48:09 +0000 |
commit | 4b7781d90ead61d9478aabd6a4c229a114483679 (patch) | |
tree | 4de89ebc81a28d8ce56ffda2f99ccf606dbd983a /src/proof | |
parent | 0ddbf090c7f7f33ce724df456daecf84d807e793 (diff) |
Revert #7257 (#7337)
This PR reverts #7257 and restores compatibility with ancient glibc versions.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions