OSDN Git Service

Merge changes from topic "gpuprio" into pi-dev
authorJorim Jaggi <jjaggi@google.com>
Fri, 6 Apr 2018 13:42:04 +0000 (06:42 -0700)
committerandroid-build-merger <android-build-merger@google.com>
Fri, 6 Apr 2018 13:42:04 +0000 (06:42 -0700)
am: 7eeb0eb6d3

Change-Id: I145168e66110106d358bacbd2b3e60842696c5e3


Trivial merge