Kristiaan Van den Eynde pushed to project branch 3427547-further-reduce-dictionary at Issue forks / group-3427547

Kristiaan Van den Eynde
2024-03-13T12:17:33Z

Kristiaan Van den Eynde (df8ca040) at 13 Mar 12:17

Can apparently remove these two lines.