Merge stockfish (9-2+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Tue, 12 Mar 2019 23:54:56 +0000 (23:54 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 12 Mar 2019 23:54:56 +0000 (23:54 +0000)

Trivial merge