From 5436e10a9625740812c9e89a3c86729634cf8666 Mon Sep 17 00:00:00 2001 From: sunny256 Date: Mon, 6 Jul 2015 22:33:48 +0000 Subject: [PATCH] Added a comment --- .../comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment diff --git a/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment b/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment new file mode 100644 index 0000000000..9feb93633a --- /dev/null +++ b/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment @@ -0,0 +1,7 @@ +[[!comment format=mdwn + username="sunny256" + subject="comment 1" + date="2015-07-06T22:33:48Z" + content=""" +Hehe, yep. ;) But it was quite low-hanging fruit anyway, and I'm glad it's fixed. Thanks. Hope you had a nice holiday, though. You deserve it. — Øyvind +"""]]