Skip to content
Snippets Groups Projects
Commit 242cef88 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

CHANGELOG.

parent 77d7a09c
No related branches found
No related tags found
1 merge request!309Use `SProp` to obtain better definitional equality for `pmap`, `gmap`, `gset`, `Qp`, and `coPset`
Pipeline #53030 passed
Stage: build