diff options
author | 2016-07-20 07:48:07 +0200 | |
---|---|---|
committer | 2016-07-20 07:48:07 +0200 | |
commit | 7ba98bce79e80730cc7725896509d84f615d9fc3 (patch) | |
tree | 522c8efdf0da669a93e090b0c0e8b714da041828 | |
parent | c76b9fa0b3362b5648a37a5ef3a06a45e6092979 (diff) |
Add comment
-rw-r--r-- | doc/bugs/It__39__s_July_not_June/comment_1_RichiH._comment | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/bugs/It__39__s_July_not_June/comment_1_RichiH._comment b/doc/bugs/It__39__s_July_not_June/comment_1_RichiH._comment new file mode 100644 index 000000000..98d9b4449 --- /dev/null +++ b/doc/bugs/It__39__s_July_not_June/comment_1_RichiH._comment @@ -0,0 +1 @@ +Ah, saw this too late. Also see 2aa0841940d309b858eed5bc156262a7d90c949b |