From: jon+ikiwiki@663db4cb26e845748f3e7e6d51eeb26c6014f1c3 <jonikiwiki@web>
Date: Tue, 6 Oct 2020 12:47:38 +0000 (-0400)
Subject: link to sparate bug page and patch
X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/commitdiff_plain/2bc2e68962e121bebd6f0e73cf8be15336fb34df

link to sparate bug page and patch
---

diff --git a/doc/bugs/html5_time_element__39__s_pubdate_wrong_when_using_xhtml5___34__mode__34__.mdwn b/doc/bugs/html5_time_element__39__s_pubdate_wrong_when_using_xhtml5___34__mode__34__.mdwn
index 1bda7e5f4..c451ac4a5 100644
--- a/doc/bugs/html5_time_element__39__s_pubdate_wrong_when_using_xhtml5___34__mode__34__.mdwn
+++ b/doc/bugs/html5_time_element__39__s_pubdate_wrong_when_using_xhtml5___34__mode__34__.mdwn
@@ -22,7 +22,9 @@ The pubdate REQUIRES a date, so e.g. `pubdate="2009-03-24T18:02:14Z"`
 >>>>> `Error: Attribute pubdate not allowed on element time at this point.`
 >>>> *— [[Jon]], 2020-10-05*
 
-
+>>>>> I've filed a separate bug page for this, since this one is already
+>>>>> marked *done*: [[bugs/pubdate_not_valid_for_html5]]. I've filed a
+>>>>> patch.  *—[[Jon]], 2020-10-06*
 
 Otherwise the XML parser chokes.