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