Merge stockfish (16-1) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Sat, 11 Nov 2023 20:21:24 +0000 (21:21 +0100)
committerMilan Zamazal <pdm@debian.org>
Sat, 11 Nov 2023 20:21:24 +0000 (21:21 +0100)

Trivial merge