The migration was successfully completed. The docs are still
building/updating, but if you encounter any other errors please tell us so.
Cheers,
Florian
On Monday, January 30, 2017 at 3:07:35 PM UTC+1, Markus Holtermann wrote:
>
> Hi y'all,
>
> We'll be migrating parts of our infrastructure to n
Hi y'all,
We'll be migrating parts of our infrastructure to new servers. This comes
with a short (read-only) downtime of Trac, our issue tracker. We expect the
documentation and website to remain online. We'll update here when the
migration is done.
Cheers,
/Markus
--
You received this mess