Integration: merge main (through #8562)

contributors/people.toml: kept both sides' new entries (r4's list and main's benandez).
This commit is contained in:
aiongg
2026-10-22 15:40:05 +00:00
3 changed files with 38 additions and 0 deletions
+3
View File
@@ -248,3 +248,6 @@ sync_github_name = true
[people.adi-1108]
real_name = "Aditya Vishwakarma"
sync_github_name = true
[people.benandez]
real_name = "Martin Ball"