doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option/comment_1_f56776e10b58547c3e8d3e55599a3fa9._comment


1
2
3
4
5
6
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
"""]]