Commit 5ef78e5
meta: move one or more collaborators to emeritus
PR-URL: #46513
Reviewed-By: Darshan Sen <[email protected]>
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Colin Ihrig <[email protected]>
Reviewed-By: Tobias Nießen <[email protected]>
Reviewed-By: Matteo Collina <[email protected]>1 parent 2f79f3f commit 5ef78e5
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
432 | 432 | | |
433 | 433 | | |
434 | 434 | | |
435 | | - | |
436 | | - | |
437 | 435 | | |
438 | 436 | | |
439 | 437 | | |
| |||
638 | 636 | | |
639 | 637 | | |
640 | 638 | | |
| 639 | + | |
| 640 | + | |
641 | 641 | | |
642 | 642 | | |
643 | 643 | | |
| |||
0 commit comments