Merge stockfish (15.1-4) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Wed, 15 Feb 2023 21:21:58 +0000 (21:21 +0000)
committerMilan Zamazal <pdm@debian.org>
Wed, 15 Feb 2023 21:21:58 +0000 (21:21 +0000)

Trivial merge