ltl2aut-2.3.7

Michael Westergaard

@klafbang

c1bf2e46 · [maven-release-plugin] prepare release ltl2aut-2.3.7 · May 06, 2025

[maven-release-plugin] copy for tag ltl2aut-2.3.7