OSDN Git Service

Merge "Improve animation dump/logging" into pi-dev
authorJorim Jaggi <jjaggi@google.com>
Tue, 13 Mar 2018 15:35:51 +0000 (15:35 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Tue, 13 Mar 2018 15:35:51 +0000 (15:35 +0000)

Trivial merge