On Tue, Oct 10, 2017 at 05:47:10PM +0100, Robie Basak wrote:
> If there are no objections, I expect to start making this change in the
> week beginning 23 October.
I've had no replies so far, so it's looking like we'll go ahead with
this. Let me know if you disagree!