Merge official-stockfish/master
authorFabian Fichter <ianfab@users.noreply.github.com>
Sun, 6 Jun 2021 17:03:54 +0000 (19:03 +0200)
committerFabian Fichter <ianfab@users.noreply.github.com>
Sun, 6 Jun 2021 17:03:54 +0000 (19:03 +0200)
No change.


Trivial merge