diff --git a/version4.xml b/version4.xml index 7150d08e..938a358b 100644 --- a/version4.xml +++ b/version4.xml @@ -2880,7 +2880,7 @@ g and optimizations for size." hidden="false" display="*nix/GNU/Release/Static/S - +