mirror of
https://github.com/official-stockfish/Stockfish.git
synced 2025-11-01 06:32:32 +00:00
315f8ba4bf
closes https://github.com/official-stockfish/Stockfish/pull/6358 No functional change