Kaedo17 51bf468007 contributors: keep davidvhk's name-sync setting in the table ...

The earlier people.toml merge resolution inserted the new
[people.Kaedo17] header between [people.davidvhk]'s real_name and its
sync_github_name = true, so TOML parsed that setting as Kaedo17's and
davidvhk silently lost theirs. Restore davidvhk's setting and keep
Kaedo17 as its own block with its own sync_github_name = true
(FredApps, #9841).

Parsing base 9394960e4 and this tree side by side: the only difference
is the added [people.Kaedo17] entry; every existing entry is unchanged.

2026-11-09 17:16:50 +08:00

..

contributors.json

Release prep 0.7.0: Linux riscv64 tarball + version bump (#2965)

2026-10-10 21:36:30 -04:00

people.toml

contributors: keep davidvhk's name-sync setting in the table

2026-11-09 17:16:50 +08:00