Comment 1 for bug 1836507

wl.widelands.org ist nun www.widelands.org in sitemap.xml

Das Ändern von http zu https benötigt wohl die Angabe von protocol = 'https' in allen sitemaps.py dateien. Siehe: https://docs.djangoproject.com/en/1.11/ref/contrib/sitemaps/#django.contrib.sitemaps.Sitemap.location

Da der server http zu https redirected ist der derzeitige Zustand aber wohl nicht sehr tragisch.