chore: update script/release_notes.py for changelog-tactics (#10436)

2026-03-17 10:24:07 +00:00 · 2025-09-18 17:22:53 +10:00
parent 4379002d05
commit 3fbf080d72
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",