diff options
Diffstat (limited to 'people/oli-obk.toml')
-rw-r--r-- | people/oli-obk.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/people/oli-obk.toml b/people/oli-obk.toml index c664da7..ab34b7c 100644 --- a/people/oli-obk.toml +++ b/people/oli-obk.toml @@ -1,3 +1,4 @@ name = "Oliver Scherer" github = "oli-obk" +github-id = 332036 email = "rustc-contact@oli-obk.de" |