AppVeyor Mon, 25 Feb 2019 20:17:25 -0800
Commit 50f2ed4a5d by Pauli on 2/26/2019 3:53 AM: remove errant casts
Configure your notification preferences