bors 5e60497fb8 Auto merge of #6038 - mikerite:lint-5734, r=matthiaskrgr
Add `manual-strip` lint

Add `manual-strip` lint.

changelog: Add `manual-strip` lint
2020-09-16 18:13:36 +00:00
..
2020-08-17 13:55:05 +01:00
2020-08-02 23:20:00 +08:00
2020-09-14 06:11:35 +02:00
2020-09-14 06:11:35 +02:00
2020-09-10 15:23:38 +02:00
2020-09-10 15:23:38 +02:00
2020-08-27 19:36:28 +02:00
2020-08-27 19:36:28 +02:00