Merge "DO NOT MERGE: P is now REL" into pi-dev
am: 9ab9fe762d

Change-Id: I89f09feebd92c79df725d2816d4831dd7af75457
diff --git a/core/version_defaults.mk b/core/version_defaults.mk
index 0f31163..7f55172 100644
--- a/core/version_defaults.mk
+++ b/core/version_defaults.mk
@@ -86,7 +86,7 @@
 
 # These are the current development codenames, if the build is not a final
 # release build.  If this is a final release build, it is simply "REL".
-PLATFORM_VERSION_CODENAME.PPR1 := P
+PLATFORM_VERSION_CODENAME.PPR1 := REL
 
 ifndef PLATFORM_VERSION
   PLATFORM_VERSION := $(PLATFORM_VERSION.$(TARGET_PLATFORM_VERSION))