From ba2de744603400e74c0f041187e5aaddc51b4238 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Sat, 24 Nov 2018 15:15:31 -0800
Subject: v3.1

---
 docs/lab/index.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'docs/lab/index.html')

diff --git a/docs/lab/index.html b/docs/lab/index.html
index 9731904d3..8fd1b9339 100644
--- a/docs/lab/index.html
+++ b/docs/lab/index.html
@@ -1422,8 +1422,9 @@ document.head.appendChild(fontCSS)
       <label title='Character Variant 4 "Open nine"'><input type="checkbox" class="featopt" name="feat:cv04"> cv04 &nbsp;(Open nine)</label>
       <label title='Character Variant 5 "Lower case L with tail")'><input type="checkbox" class="featopt" name="feat:cv05"> cv05 &nbsp;(Lower case L with tail)</label>
       <label title='Character Variant 6 "Lower case R with straight tail")'><input type="checkbox" class="featopt" name="feat:cv06"> cv06 &nbsp;(Straight lower case R)</label>
-      <label title='Character Variant 7 "Alternate German ")'><input type="checkbox" class="featopt" name="feat:cv07"> cv07 &nbsp;(German double s)</label>
-      <label title='Character Variant 8 "Upper case i with serif")'><input type="checkbox" class="featopt" name="feat:cv08"> cv08 &nbsp;(Upper case i with serif)</label>
+      <label title='Character Variant 7 "Alternate German double-s")'><input type="checkbox" class="featopt" name="feat:cv07"> cv07 &nbsp;(German double-s)</label>
+      <label title='Character Variant 8 "Upper-case i with serif")'><input type="checkbox" class="featopt" name="feat:cv08"> cv08 &nbsp;(Upper-case i with serif)</label>
+      <label title='Character Variant 9 "Flat top three")'><input type="checkbox" class="featopt" name="feat:cv09"> cv09 &nbsp;(Flat top three)</label>
       </div>
 
       <div class="checkbox-group">
-- 
cgit v1.2.3