1.3.1

Reiner Jung

@rju

44d8fbfd · Merge branch 'reiner' into 'main' · Aug 22, 2023

Release: Étang de Thau

Updated documentation and fixed nearest merge