02.01.01

Jens Georg

@jens.georg

1ae1e5c5 · fix: Make compile with currently released version · Nov 13, 2023

New PATCH release 02.01.01

Changes since 02.01.00:

- fix: Make compile with currently released version