v3.9.2
Marco Antoniotti's avatar
Marco Antoniotti
@mantoniotti
30909c31 · Bumped version, cleaned up a bit (some renaming here and there to be more consistent) · Jun 30, 2024