mirror of
https://github.com/official-stockfish/Stockfish.git
synced 2026-07-22 20:57:10 +00:00
fixes #5756 closes https://github.com/official-stockfish/Stockfish/pull/5786 No functional change
fixes #5756 closes https://github.com/official-stockfish/Stockfish/pull/5786 No functional change