On Wed, Apr 05, 2017 at 06:06:37PM +0000, Graham Johnston wrote:
If you add me as a mirror admin I'd appreciate that. My username
is johnstong with email johnstong(a)westmancom.com.
I added your account as admin to the mirror. You should be able to make
all necessary changes now.
Adrian