Merge pull request #125837 from r-burns/stockfish
stockfish: 12 -> 13
authored by Peter Simons and committed by GitHub 4 years ago c850d5a5 4a34590e