bors[bot] eee55d4663
Merge #2129
2129: Some clippy fixes r=kjeremy a=kjeremy



Co-authored-by: kjeremy <kjeremy@gmail.com>
2019-10-30 17:39:18 +00:00
..
2019-10-30 13:36:37 -04:00
2019-10-27 12:36:40 +03:00
2019-10-30 19:10:53 +03:00
2019-10-30 19:15:41 +03:00
2019-10-30 19:10:53 +03:00
2019-10-30 13:36:37 -04:00
2019-10-30 13:36:37 -04:00
2019-10-30 13:36:37 -04:00
2019-10-22 13:01:26 -04:00
2019-10-30 13:36:37 -04:00
2019-10-25 11:49:38 +03:00