From: Joost VandeVondele <Joost.VandeVondele@gmail.com>
Date: Sat, 11 Jul 2020 14:59:33 +0000 (+0200)
Subject: Small trivial cleanups
X-Git-Url: https://git.sesse.net/?p=stockfish;a=commitdiff_plain;h=5f1843c9cb55afcd3fb1da9e9dc4b0092f25d9f0;hp=5f1843c9cb55afcd3fb1da9e9dc4b0092f25d9f0

Small trivial cleanups

closes https://github.com/official-stockfish/Stockfish/pull/2801

No functional change
---