AppVeyor Mon, 25 Feb 2019 15:56:15 -0800
Commit d3ae4d8b49 by Pauli on 2/25/2019 11:27 PM: update doc
Configure your notification preferences