Merge stockfish (8-3) import into refs/heads/workingbranch
authorMilan Zamazal <pdm@debian.org>
Sat, 12 Nov 2016 17:55:54 +0000 (17:55 +0000)
committerMilan Zamazal <pdm@debian.org>
Sat, 12 Nov 2016 17:55:54 +0000 (17:55 +0000)

Trivial merge