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

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

diff --git a/9f851c9f03900b946e77462aad34f7d903fec5d1 b/9f851c9f03900b946e77462aad34f7d903fec5d1
new file mode 100644
index 00000000..6591b23f
--- /dev/null
+++ b/9f851c9f03900b946e77462aad34f7d903fec5d1
@@ -0,0 +1 @@
+Closes bug#250.