1
0
Fork 0

Merge "wikimedia-operations: add myself to ops"

This commit is contained in:
jenkins-bot 2022-10-03 00:42:25 +00:00 committed by Gerrit Code Review
commit c9420aecd9

View file

@ -21,6 +21,7 @@ ops = [
"jynus",
"klausman",
"Lucas_WMDE",
"Majavah",
"manuel",
"Nikerabbit",
"ottomata",