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 +"""]]