diff --git a/contributors/people.toml b/contributors/people.toml index fe8e4ddb1..6d8e37573 100644 --- a/contributors/people.toml +++ b/contributors/people.toml @@ -213,3 +213,6 @@ sync_github_name = false [people.adikshan11] real_name = "Adithya Shankaran" sync_github_name = true + +[people.slafebre] +real_name = "Sven Lafebre"