Commit 8c32270
committed
meta: move pon collaborator to emeritus
This is usually generated by a GitHub Action, but PR-generation is
currently not working for several GitHub Actions. (See
#45022 (comment).)
So I ran the tool manually instead.1 parent fa7e08c commit 8c32270
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
396 | 396 | | |
397 | 397 | | |
398 | 398 | | |
399 | | - | |
400 | | - | |
401 | 399 | | |
402 | 400 | | |
403 | 401 | | |
| |||
592 | 590 | | |
593 | 591 | | |
594 | 592 | | |
| 593 | + | |
| 594 | + | |
595 | 595 | | |
596 | 596 | | |
597 | 597 | | |
| |||
0 commit comments