diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-11 19:33:58 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-13 21:13:54 +0200 |
commit | 474d58efe82228cafd02f025274eb411bbe0596a (patch) | |
tree | 23ea4544a6f97f91629a750ca5ff8656d469a328 /teams/wg-triage.toml | |
parent | 6c69a5ee75f18ecaa8b5cb7a320ed2cde94fb711 (diff) |
normalize miscapitalized github usernames
Diffstat (limited to 'teams/wg-triage.toml')
-rw-r--r-- | teams/wg-triage.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/wg-triage.toml b/teams/wg-triage.toml index 9c21a4f..ec75f61 100644 --- a/teams/wg-triage.toml +++ b/teams/wg-triage.toml @@ -12,7 +12,7 @@ members = [ "Kixiron", "joelpalmer", "hdhoang", - "johncsimon", + "JohnCSimon", "edmilsonefs", "rholderfield", "ProgrammaticNajel", |