Mar 04, 2021

Our own git server might stay outdated as it is switching to the new server. Outages should be expected until the end of this week. You can temporarily switch to the mirrors on Sourcehut to avoid repository issues.