From cd206ad1c7074972fbd3a7010445e110c3981721 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <git@henrik.io>
Date: Sat, 20 Nov 2021 00:06:48 +0100
Subject: [PATCH] bump: :lang coq

ProofGeneral/PG@e2b4227e1f63 -> ProofGeneral/PG@2145c23f44a0

Fix: #5742
---
 modules/lang/coq/packages.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index 1dd8b45a4..4d79a6512 100644
--- a/modules/lang/coq/packages.el
+++ b/modules/lang/coq/packages.el
@@ -1,5 +1,5 @@
 ;; -*- no-byte-compile: t; -*-
 ;;; lang/coq/packages.el
 
-(package! proof-general :pin "e2b4227e1f63a78198d1b7521b63619fb702d3f5")
+(package! proof-general :pin "2145c23f44a0951a14240d3b85a1a3d08aade9bb")
 (package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")