Merge stockfish (12-2) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Thu, 7 Jan 2021 20:18:11 +0000 (20:18 +0000)
committerMilan Zamazal <pdm@debian.org>
Thu, 7 Jan 2021 20:18:11 +0000 (20:18 +0000)

Trivial merge