From 84483120773f94d95d59e604e759bdc57149e169 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Mon, 14 Aug 2017 20:31:02 +0200
Subject: [PATCH] Notes added by 'git notes add'

---
 5635fc212f7822bfa32f782dfd89d2e5018e65e8 | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 5635fc212f7822bfa32f782dfd89d2e5018e65e8

diff --git a/5635fc212f7822bfa32f782dfd89d2e5018e65e8 b/5635fc212f7822bfa32f782dfd89d2e5018e65e8
new file mode 100644
index 00000000..a0f09213
--- /dev/null
+++ b/5635fc212f7822bfa32f782dfd89d2e5018e65e8
@@ -0,0 +1 @@
+Partial fix for bug#133.