diff --git a/P5/VERSION b/P5/VERSION
index 90a8eb5ce3..88f181192c 100644
--- a/P5/VERSION
+++ b/P5/VERSION
@@ -1 +1 @@
-4.8.0a
+4.8.0