diff options
Diffstat (limited to 'CODEOWNERS')
-rw-r--r-- | CODEOWNERS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -6,3 +6,5 @@ # # Interim maintainers who won't be very responsive :-( * @mjambon @pmetzger +*.opam @liyishuai +.github/workflows/ @liyishuai |