Merge pull request 'Rename Xiao's pieces' (#25) from patch-1 into main

Reviewed-on: #25
This commit was merged in pull request #25.
This commit is contained in:
2025-02-17 09:48:48 +01:00
3 changed files with 0 additions and 0 deletions