bors 225ce5ff58 Auto merge of #6233 - montrivo:manual_ok_or, r=flip1995
add manual_ok_or lint

Implements partially #5923

changelog: add lint manual_ok_or
2020-11-03 16:42:59 +00:00
..
2020-10-28 23:35:11 +01:00
2020-10-28 22:34:45 +01:00
2020-11-03 16:44:23 +01:00
2020-11-03 16:44:23 +01:00
2020-10-27 01:57:04 +01:00
2020-10-27 01:57:04 +01:00
2020-10-27 01:57:04 +01:00
2020-10-26 11:15:01 +01:00
2020-10-25 17:41:30 +08:00
2020-10-25 17:41:30 +08:00
2020-10-25 17:41:30 +08:00
2020-10-26 00:01:20 +09:00
2020-10-26 00:01:20 +09:00
2020-09-10 15:23:38 +02:00