Skip to content

Avoid universe bumps of `gset`/`mapset` (fixes #134)

Robbert Krebbers requested to merge robbert/mapset_universe into master

I don't understand universes well enough to see why the previous version does not work. So if anyone can explain that, that would be great :).

Merge request reports