bors[bot] b2ed130ffd
Merge #2841
2841: More UI friendly labels r=kjeremy a=kjeremy



Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
2020-01-14 18:16:11 +00:00
..
2020-01-14 13:15:41 -05:00
2020-01-13 11:27:06 -05:00
2020-01-14 14:42:52 +01:00
2020-01-11 23:00:37 +00:00
2020-01-14 17:59:24 +00:00
2020-01-14 14:42:52 +01:00
2020-01-14 09:08:45 -05:00
2020-01-13 11:38:53 -05:00
2020-01-10 22:41:52 +01:00