Remove outdated line from publish_toolstate hook

2020-09-28 22:28:47 +02:00 · 2020-09-28 22:28:47 +02:00 · 4bf5c45865
commit 4bf5c45865
parent fc2daaae61
1 changed files with 0 additions and 3 deletions
--- a/src/tools/publish_toolstate.py
+++ b/src/tools/publish_toolstate.py
@ -157,9 +157,6 @@ def issue(

        cc @{}, do you think you would have time to do the follow-up work?
        If so, that would be great!
-
-        And nominating for compiler team prioritization.
-
        ''').format(
            relevant_pr_number, tool, status_description,
            REPOS.get(tool), relevant_pr_user