Skip to content
GitLab

Update changelog for filter extensionality lemmas

Merged Simon Friis Vindum requested to merge simonfv/stdpp:changelog-addition into master

I think this MR makes the changes a bit more clear and it adds the rename to the sed script.