Promote tests pre 4.10

Julow · Julow · commit 397e20d75cde · 2023-12-12T13:50:35.000+01:00
diff --git a/test/generators/html/Bugs_pre_410.html b/test/generators/html/Bugs_pre_410.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html xmlns="http://www.w3.org/1999/xhtml">
- <head><title>Bugs_pre_410 (Bugs_pre_410)</title>
-  <link rel="stylesheet" href="odoc.css"/><meta charset="utf-8"/>
+ <head><title>Bugs_pre_410 (Bugs_pre_410)</title><meta charset="utf-8"/>
+  <link rel="stylesheet" href="odoc.css"/>
   <meta name="generator" content="odoc %%VERSION%%"/>
   <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
   <script src="highlight.pack.js"></script>
