diff --git a/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option.mdwn b/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option.mdwn index 0a1ee557de..9a4e925b25 100644 --- a/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option.mdwn +++ b/doc/todo/__91__PATCH__93___Log.hs:_Add_missing_dash_to_--raw_option.mdwn @@ -31,3 +31,7 @@ index 9ee7f85..495c43c 100644 2.4.4.408.g16da57c """]] + +> Thanks for the patch! Someone else reported a bug about it and I already +> patched it when I noticed this, so you missed getting in the commit log.. +> this time! ;) [[done]] --[[Joey]]