From 0c23659103c169bf42837801f961f47bf272060f Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <reinier@zwitserloot.com>
Date: Mon, 10 Sep 2018 22:54:22 +0200
Subject: [trivial]

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 02c1e343..5c939f55 100644
--- a/build.xml
+++ b/build.xml
@@ -891,6 +891,7 @@ You can also create your own by writing a 'testenvironment.properties' file. The
 			username="${ssh.username}"
 			keyfile="${ssh.keyfile}"
 			knownHosts="ssh.knownHosts" />
+		<echo>WARNING: You should now immediately run an edge release!</echo>
 	</target>
 	
 	<target name="publish-all" depends="clean, version, website-publish, maven-publish, publish"
-- 
cgit