Two new bugs blocking CI

[Aaron Bentley]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 14-02-19 09:37 PM, Andrew Wilkins wrote:
> Glad to see that manual is now in CI.

Well... almost.  I am working to put manual into CI but was blocked by
this bug.  I'll look into the upload-tools workaround today.

Aaron
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlMGDBIACgkQ0F+nu1YWqI0yjgCaA2Oqr9tJEfBl9SD3JzXd23Fj
KbQAnj3JTGDqssuU80hDh4uVZ3QlwlSM
=LtKb
-----END PGP SIGNATURE-----