mirror of
https://github.com/official-stockfish/Stockfish.git
synced 2026-07-23 05:07:14 +00:00
closes https://github.com/official-stockfish/Stockfish/pull/6400 No functional change
closes https://github.com/official-stockfish/Stockfish/pull/6400 No functional change