Skip to content
GitLab

get rid of the empty-unicode-space hacks

Merged 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?