Merge PR #6158: Title bar: a window move the window manager finished no longer blocks the next move or resize (#5725)

contributors/people.toml: union of both sides' entries.
This commit is contained in:
aiongg
2026-10-22 15:37:43 +00:00
3 changed files with 54 additions and 12 deletions
+3
View File
@@ -191,3 +191,6 @@ sync_github_name = true
[people.ha1des]
sync_github_name = true
[people.giang17]
real_name = "Giang Nguyen"