From af62cfbd5a9ab9afc02bebe15cbb501b047b3988 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sun, 17 Jan 2021 05:25:14 +0100
Subject: [PATCH] Notes added by 'git notes edit'

---
 40b11c098c0d2346eae3e258b937544a57e6fb69 | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 40b11c098c0d2346eae3e258b937544a57e6fb69

diff --git a/40b11c098c0d2346eae3e258b937544a57e6fb69 b/40b11c098c0d2346eae3e258b937544a57e6fb69
new file mode 100644
index 00000000..569d70dd
--- /dev/null
+++ b/40b11c098c0d2346eae3e258b937544a57e6fb69
@@ -0,0 +1 @@
+The partial fix was in 4.0.2, actually.