v1.3.0

Martin Teichmann

@teichman

130cec28 · bump version number · Jun 11, 2026

many internal changes, a bit risky to tag