v2.4.2

Claire Hoede

@claire.hoede

354e53c0 · Merge branch 'devel' into 'master' · Jun 02, 2023

Fix bug in binette and others