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 0000000000..98d9b4449e
--- /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