Merge stockfish (11-1) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Mon, 27 Jan 2020 20:56:03 +0000 (20:56 +0000)
committerMilan Zamazal <pdm@debian.org>
Mon, 27 Jan 2020 20:56:03 +0000 (20:56 +0000)

Trivial merge