name = "Amanieu d'Antras"
github = "Amanieu"
github-id = 278509
email = "amanieu@gmail.com"

[permissions]
bors.compiler_builtins.review = true