Notify when an I-prioritize issue is closed or reopened#80543
Merged
bors merged 1 commit intorust-lang:masterfrom LeSeulArtichaut:notify-closeAug 29, 2021
+2
I-prioritize issue is closed or reopened#80543