diff --git a/build_common.xml b/build_common.xml index 03ce5e641..378e077b4 100644 --- a/build_common.xml +++ b/build_common.xml @@ -584,8 +584,7 @@ - - WARNING: Changes need to be PUSHed to the GIT repository. +