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