chore: update script/release_notes.py for changelog-tactics

2026-04-03 02:34:08 +00:00 · 2025-09-18 17:16:19 +10:00
1 changed files with 1 additions and 0 deletions
--- a/script/release_notes.py
+++ b/script/release_notes.py
@@ -52,6 +52,7 @@ def sort_sections_order():
    return [
        "Language",
        "Library",
+        "Tactics",
        "Compiler",
        "Pretty Printing",
        "Documentation",