commit | f34bee819c8fd88cfa0df8608e336b93aaf2e6ff | [log] [tgz] |
---|---|---|
author | Tony Wickham <[email protected]> | Mon Dec 03 18:11:39 2018 -0800 |
committer | Tony Wickham <[email protected]> | Tue Dec 04 10:46:40 2018 -0800 |
tree | 985ad9488b1f6b45bbbd3c8e539235f26bfb45f0 | |
parent | de78d7ca78b457c057f91ba838ea5c7c0f14c2dd [diff] |
Rename "badges" to "dots" where appropriate This will reduce confusion with the other "badging" concept we use for, e.g. work profiles. It is also consistent with the external name "notification dots". Change-Id: I2a2c9d96dc0d6284eb0c48adc78a856271caad4d