AppVeyor Fri, 05 Jul 2019 23:31:57 -0700
Commit ff5ae3c768 by Pauli on 7/5/2019 6:39 AM: update documentation
Configure your notification preferences