0_20_5.md

doc/release_notes/0_20_5.md
Last Update: 2023-01-25 08:07:21 +0000

0.20.5

The intersect? refinement introduced in the previous version had a wrong variable name.