Skip to content
Snippets Groups Projects

Update changelog for filter extensionality lemmas

Merged Update changelog for filter extensionality lemmas
simonfv/stdpp:changelog-addition into master
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.

Merge request reports

Merge request pipeline #49440 passed

Stage: build

Merge request pipeline passed for 951bd2eb

Merged by Robbert KrebbersRobbert Krebbers 3 years ago (Jun 28, 2021 5:51pm UTC)

Loading

Pipeline #49458 passed

Stage: build

Pipeline passed for beaa69fa on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply