Release 10.17.0

realm · Oct 13, 2023 · 862999a · 862999a
1 parent fc294bb
commit 862999a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tools/fix-h1s.sh b/tools/fix-h1s.sh
@@ -19,6 +19,6 @@ do
   # Make the output SEO friendly by converting the "h2" title to the proper "h1"
   sed -i -e 's|<h2\(.* class="title".*\)</h2>|<h1\1</h1>|' "$ln"
 done
-find . -iname "*.html-e" | xargs rm
+find . -iname "*.html-e" | xargs rm || true
 
 popd
diff --git a/version.txt b/version.txt
@@ -1 +1 @@
-10.17.1-SNAPSHOT
+10.17.0