Skip to content

Update changelog for filter extensionality lemmas

Simon Friis Vindumrequested 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.

Merge request reports