diff -r cf1a1e92bf34 -r 89cf7c903aca src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Thu Apr 01 19:07:06 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu Apr 01 19:14:43 2021 +0200
@@ -53,17 +53,6 @@
 
   /** generated content **/
 
-  /* patch release */
-
-  def patch_release(release: Release): Unit =
-  {
-    val dir = release.isabelle_dir
-
-    File.change(dir + Path.explode("README"),
-      _.replace("some repository version of Isabelle", release.dist_version))
-  }
-
-
   /* ANNOUNCE */
 
   def make_announce(release: Release): Unit =
@@ -432,8 +421,6 @@
       File.write(release.isabelle_tags, release.tags)
       File.write(release.isabelle_identifier, release.dist_name)
 
-      patch_release(release)
-
       if (proper_release_name.isEmpty) make_announce(release)
 
       make_contrib(release.isabelle_dir)