1 files changed, 10 insertions, 0 deletions
diff --git a/build-support/gnupg/install b/build-support/gnupg/install
new file mode 100644
index 00000000..5b2169f0
--- /dev/null
+++ b/build-support/gnupg/install
@@ -0,0 +1,10 @@
+post_install() {
+	# See FS#42798 and FS#47371
+	dirmngr </dev/null &>/dev/null || true
+}
+
+post_upgrade() {
+	if [[ $(vercmp $2 2.1.13-1) = -1 ]]; then
+		echo "==> Please kill running gpg-agent and dirmngr processes before using this release."
+	fi
+}