OSDN Git Service

Merge "RDS PI is a number, not a string."
authorTomasz Wasilczyk <twasilczyk@google.com>
Wed, 5 Jul 2017 21:19:26 +0000 (21:19 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Wed, 5 Jul 2017 21:19:26 +0000 (21:19 +0000)

Trivial merge