Skip to content

get rid of the empty-unicode-space hacks

Ralf Jung requested to merge ci/ralf/no-unicode-hacks into master

However, this means we have to depend on Coq 8.6.1. Any objections to that?

Merge request reports