From: xoto10 Date: Mon, 13 Jan 2020 09:05:49 +0000 (+0000) Subject: Fix previous patch in case of ponder X-Git-Url: https://git.sesse.net/?p=stockfish;a=commitdiff_plain;h=01dfdb95dcc92fec97e49c857c96841f16553af2;hp=01dfdb95dcc92fec97e49c857c96841f16553af2 Fix previous patch in case of ponder No functional change ---