(build) Let's try that again with a doc change...

gep13 · gep13 · commit ae25291ff34a · 2023-08-23T13:55:05.000+01:00
diff --git a/docs/input/docs/index.md b/docs/input/docs/index.md
@@ -10,6 +10,4 @@ then used to create a Release on GitHub.
 
 In addition to creating a Release, GitReleaseManager can be used to publish a
 release, close a milestone, and also to export the complete set of release notes
-for your application/product.
-
-Another build test...
+for your application/product.
