Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
487: Release version 0.4.3 r=mkroening a=mkroening Co-authored-by: Martin Kröning <mkroening@posteo.net>
![bors[bot]'s avatar](/assets/no_avatar-849f9c04a3a0d0cea2424ae97b27447dc64a7dbfae83c036c45b403392f0e8ba.png "bors[bot]"){kind=avatar}
Martin Kröning <mkroening@posteo.net>Martin Kröning <mkroening@posteo.net>