commit | 6ec1461db46d2e0d6b1b4715cd27606124c46a76 | [log] [tgz] |
---|---|---|
author | TreeHugger Robot <treehugger-gerrit@google.com> | Wed Aug 01 22:51:44 2018 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Aug 01 22:51:44 2018 +0000 |
tree | 0f71e58e6234ab077f39e9a275e0dfd153c7beb0 | |
parent | 48dfde74f8c898f5e4b9347e2d574a0296b005d6 [diff] | |
parent | e19d051f82454c49924b1f62e23ee8ded0cf4d08 [diff] |
Merge "Allow some rounding errors in PIP bounds."