commit | 2c9fd5fbbb43541ce4291c07bf61bdbe5dc70252 | [log] [tgz] |
---|---|---|
author | Jorim Jaggi <jjaggi@google.com> | Tue Aug 21 23:26:55 2018 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Tue Aug 21 23:26:55 2018 +0000 |
tree | 91a2e7d70e80485e8cff87f280f5d6616083dc37 | |
parent | 9c5b761f2940521d8cb75cc97882b6664217e448 [diff] | |
parent | 64c9d90a63a0712018c0ecadc541d7d8b38ea49b [diff] |
Merge "ScreenDecorations: Update corner radius when configuration changes" into pi-dev