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

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

diff --git a/e8451c73436a156c92ecaf74f9cdc035d6ff1134 b/e8451c73436a156c92ecaf74f9cdc035d6ff1134
new file mode 100644
index 00000000..5ef0eb38
--- /dev/null
+++ b/e8451c73436a156c92ecaf74f9cdc035d6ff1134
@@ -0,0 +1 @@
+Fixes bug#133.