| commit | a77b85b836dbd479ea428dd951cc7511862b1fd7 | [log] [tgz] |
|---|---|---|
| author | Jorim Jaggi <jjaggi@google.com> | Tue Jul 01 00:00:14 2014 +0200 |
| committer | Jorim Jaggi <jjaggi@google.com> | Tue Jul 01 15:49:38 2014 +0200 |
| tree | 6ca7bb4b2b615eb1194c82569f76fbe5e6916a49 | |
| parent | 93439da0ed9213bc54291b3fce4e04dd3a7f9f3a [diff] |
Fix scrim in PIN/PUK. Bug: 15949149 Change-Id: Ia68903445f256ad5db3d46d6916d57b57218a14d