Merge stockfish (9-2) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Sat, 8 Sep 2018 19:32:46 +0000 (20:32 +0100)
committerMilan Zamazal <pdm@debian.org>
Sat, 8 Sep 2018 19:32:46 +0000 (20:32 +0100)

Trivial merge