AppVeyor Wed, 27 Feb 2019 16:19:32 -0800
Commit c0ac7e8499 by Pauli on 2/27/2019 11:20 PM: fix =over doc nit
Configure your notification preferences
