Rebuild 4.13.1 to remove package notes

diff --git a/Goalfile b/Goalfile
index e504c78..2ef7879 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -6,11 +6,11 @@ let fedora-dir = "%HOME/d/fedora"
 
 let fedora-branch = "rawhide"
 #let fedora-branch = "f34"
-let fedora-tag = "f36-build-side-46495"
+let fedora-tag = "f36-build-side-50311"
 
 # The magic string that must appear in %changelog when the
 # package has been rebuilt.
-let fedora-rebuild-name = "OCaml 4.13.1 build"
+let fedora-rebuild-name = "OCaml 4.13.1 rebuild to remove package notes"
 
 # Packages that are ignored, which means they are treated as if
 # they have been rebuilt.