name = "Oliver Scherer"
github = "oli-obk"
github-id = 332036
email = "rustc-contact@oli-obk.de"