commit 641e283f5ea28d69ae5697a4a23bb2ec288a9ebf
author Ying Wang <wangying@google.com> Thu Feb 26 18:11:36 2015 +0000
committer Android Git Automerger <android-git-automerger@android.com> Thu Feb 26 18:11:36 2015 +0000
tree b000112bbbfdfe2c26ad25e0c365541a143ff6ae
parent 738871f6eb3c372b60928e761f0dc24e46a6bba5
parent 8485fb074bb1b751224b167273de0f443b94680f

am 8485fb07: am 4eec22a6: Merge "Use a less freqent dummy file name: zipdummy"

* commit '8485fb074bb1b751224b167273de0f443b94680f':
  Use a less freqent dummy file name: zipdummy

core/version_defaults.mk

diff --git a/core/version_defaults.mk b/core/version_defaults.mk
index f3b2297..d87a032 100644
--- a/core/version_defaults.mk
+++ b/core/version_defaults.mk
@@ -41,7 +41,7 @@
   # which is the version that we reveal to the end user.
   # Update this value when the platform version changes (rather
   # than overriding it somewhere else).  Can be an arbitrary string.
-  PLATFORM_VERSION := 5.1.51
+  PLATFORM_VERSION := 5.1
 endif
 
 ifeq "" "$(PLATFORM_SDK_VERSION)"