Closed 0adb closed 6 months ago
It seems that this PR is a subset of https://github.com/mit-plv/coqutil/pull/110, which was merged a while ago, so it should be safe to close this one
It seems that this PR is a subset of https://github.com/mit-plv/coqutil/pull/110, which was merged a while ago, so it should be safe to close this one