tree d5c50e0712e9cc6c10d05f5faf0e83b003b8c5a2
parent 59ecb96da96b214fe12274e42a8a3cdaa69ba7a2
parent 128f56302dc6865427f7d60e0e419bdc7c224767
author TreeHugger Robot <treehugger-gerrit@google.com> 1522255545 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1522255545 +0000

Merge "Change the time format to short" into pi-dev