Merge pull request #42693 from Crassirostris/fix-owners-files

Fix username case in OWNERS files
This commit is contained in:
Mik Vyatskov 2017-03-08 00:55:18 -08:00 committed by GitHub
commit d40f9b7a0c
3 changed files with 6 additions and 6 deletions

View File

@ -1,6 +1,6 @@
approvers:
- Crassirostris
- crassirostris
- piosz
reviewers:
- Crassirostris
- crassirostris
- piosz

View File

@ -1,6 +1,6 @@
approvers:
- Crassirostris
- crassirostris
- piosz
reviewers:
- Crassirostris
- crassirostris
- piosz

View File

@ -1,6 +1,6 @@
approvers:
- Crassirostris
- crassirostris
- piosz
reviewers:
- Crassirostris
- crassirostris
- piosz