mirror of
https://github.com/official-stockfish/Stockfish.git
synced 2026-07-24 05:37:13 +00:00
following up from earlier changes closes https://github.com/official-stockfish/Stockfish/pull/5450 No functional change
following up from earlier changes closes https://github.com/official-stockfish/Stockfish/pull/5450 No functional change