# HG changeset patch
# User wenzelm
# Date 1624462783 -7200
# Node ID 3d3c60a90af5213dfdf602c7a181854382e5162e
# Parent  66bff50bc5f11adb68618e4adb07716b5d4fab6e
avoid legacy domain informatik.tu-muenchen.de;

diff -r 66bff50bc5f1 -r 3d3c60a90af5 src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Fri Jun 18 15:03:12 2021 +0200
+++ b/src/Pure/General/mailman.scala	Wed Jun 23 17:39:43 2021 +0200
@@ -67,5 +67,5 @@
     archive(Url("https://lists.cam.ac.uk/pipermail/cl-isabelle-users"), name = "isabelle-users")
 
   def isabelle_dev: Archive =
-    archive(Url("https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev"))
+    archive(Url("https://mailmanbroy.in.tum.de/pipermail/isabelle-dev"))
 }