1 2 3 4 5 6name = "Hristian Kirtchev" github = "kirtchev-adacore" github-id = 60669983 email = "kirtchev@adacore.com" zulip-id = 498776
1 2 3 4 5 6
name = "Hristian Kirtchev" github = "kirtchev-adacore" github-id = 60669983 email = "kirtchev@adacore.com" zulip-id = 498776