Discussed yesterday with @KershawChang. @martinthomson, are you OK with this? @mxinden is pretty actively reviewing, so it might unblock getting PRs merged when both of you are busy.

Signed-off-by: Lars Eggert <lars@eggert.org>
This commit is contained in:
Lars Eggert 2024-07-31 15:29:36 +03:00 коммит произвёл GitHub
Родитель b033d956e9
Коммит 67bd43bcd2
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
1 изменённых файлов: 1 добавлений и 1 удалений

2
.github/CODEOWNERS поставляемый
Просмотреть файл

@ -1 +1 @@
* @KershawChang @martinthomson @larseggert
* @KershawChang @martinthomson @larseggert @mxinden