OSDN Git Service

Merge "Fix issue #7318666: hide developer options from user build" into jb-mr1-dev
authorDianne Hackborn <hackbod@google.com>
Wed, 10 Oct 2012 22:53:57 +0000 (15:53 -0700)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Wed, 10 Oct 2012 22:53:57 +0000 (15:53 -0700)

Trivial merge