[rpms/emacs-common-proofgeneral] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

[rpms/emacs-common-proofgeneral] rawhide: Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

[Fedora Release Engineering]

A new commit has been pushed.

Repo   : rpms/emacs-common-proofgeneral
Branch : rawhide
Commit : f844b75351d99b6669a421f7d75549c082d8fe83
Author : Fedora Release Engineering <releng@fedoraproject.org>
Date   : 2026-07-15T22:19:24+00:00
Stats  : +4/-1 in 1 file(s)
URL    : https://src.fedoraproject.org/rpms/emacs-common-proofgeneral/c/f844b75351d99b6669a421f7d75549c082d8fe83?branch=rawhide

Log:
Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

---
diff --git a/emacs-common-proofgeneral.spec b/emacs-common-proofgeneral.spec
index e27a71b..ecc4526 100644
--- a/emacs-common-proofgeneral.spec
+++ b/emacs-common-proofgeneral.spec
@@ -16,7 +16,7 @@ Summary:        Emacs mode for standard interaction interface for proof assistan
 # The icons are CC-BY-SA-3.0, except for the search icon.
 # The search icon is CC-BY-SA-2.0.
 License:        GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
-Release:        14%{?dist}
+Release:        15%{?dist}
 URL:            https://proofgeneral.github.io/
 VCS:            git:%{giturl}.git
 Source0:        %{forgesource}
@@ -159,6 +159,9 @@ install -Dpm 644 %{SOURCE4} \
 %{_emacs_sitelispdir}/%{pkg}/
 
 %changelog
+* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-15
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
+
 * Mon Jul 13 2026 Jerry James <loganjerry@gmail.com> - 4.5-14
 - Small tweaks to BuildRequires