Polishing.

2019-04-24 11:02:10 -05:00
parent 2b23e952cc
commit b1a61847c4
1 changed files with 1 additions and 1 deletions
--- a/ci/README.adoc
+++ b/ci/README.adoc
@@ -44,7 +44,7 @@ With this pipeline in place, you can now activate and expose it:
 ----
 % ci/create-release.sh <release version> <next snapshot version>
 ----
-
+
 2. With the release officially tagged, just push it to master.
 ----
 % git push