Merge stockfish (15.1-1) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Mon, 5 Dec 2022 18:54:27 +0000 (18:54 +0000)
committerMilan Zamazal <pdm@debian.org>
Mon, 5 Dec 2022 18:54:27 +0000 (18:54 +0000)

Trivial merge