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