really generate HTML5 by default

[git.ikiwiki.info.git] / doc / bugs / pagestats_output_is_not_deterministic.mdwn

diff --git a/doc/bugs/pagestats_output_is_not_deterministic.mdwn b/doc/bugs/pagestats_output_is_not_deterministic.mdwn
index 63d52e19163d891dd030b8d8829325e4c6ec4c45..e749a25d8a60a6113630328e109b2e2219db69d4 100644 (file)
--- a/doc/bugs/pagestats_output_is_not_deterministic.mdwn
+++ b/doc/bugs/pagestats_output_is_not_deterministic.mdwn
@@ -9,3 +9,5 @@ for this problem.
 --[[intrigeri]]
 
 [[!tag patch]]
+
+> [[Merged|done]] in 3.20161219 --[[smcv]]