From 372d51a4bef218956042829e1aa3c7bb1bb9b33f Mon Sep 17 00:00:00 2001
From: copyleftie <34298117+copyleftie@users.noreply.github.com>
Date: Sat, 30 Dec 2017 23:44:45 -0500
Subject: [PATCH] ProofGeneral: fix warning if compiled with a different emacs
 version

(The current build in the repo was compiled with emacs 25.1)
---
 srcpkgs/ProofGeneral/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index ffe7a1f262d..720de3704c6 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -1,7 +1,7 @@
 # Template file for 'ProofGeneral'
 pkgname=ProofGeneral
 version=4.4
-revision=1
+revision=2
 wrksrc="PG-${version}"
 noarch=yes
 build_style=gnu-makefile