Revert "Merge branch 'byte-countable' into 'master'" (!160) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge revert-a2ac9e66 into master May 12, 2020

This reverts merge request !155 (merged) because it's incompatible with Coq ≤8.9.

Edited May 12, 2020 by Robbert Krebbers

Revert "Merge branch 'byte-countable' into 'master'"