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.