repair "docker push" in docker-publish make target
* the commit 393daca85 broke the docker-publish make target by removing
the indentation for the "docker push ..." command
* readd the correct indentation to allow "docker publish" make target to
upload new image tags
* this change will only fix the behaviour for future releases, all tags
added between v3.4.0 (last published tag before commit 393daca85) and
now have not been published
* increase VERSION to v3.4.7 to trigger automatic tagging and jenkins
docker-build/publish jobs to upload newest release
Signed-off-by: Jan Klare <jan.klare@bisdn.de>
Change-Id: I42e3c9e0ccd1305488c53d158ed99ece1ec1f769
Signed-off-by: Jan Klare <jan.klare@bisdn.de>
diff --git a/VERSION b/VERSION
index 1cf8253..2aa5131 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.4.6
+3.4.7