Joe Richey 3807634a47
clippy_lints: Update empty_loop lint
We also update the documentation to note that the remediations are
different for `std` and `no_std` crates.

Signed-off-by: Joe Richey <joerichey@google.com>
2020-10-22 22:03:13 -07:00
..
2020-10-02 23:21:24 +13:00
2020-10-02 11:34:14 -07:00
2020-10-02 11:34:14 -07:00
2020-10-11 22:04:59 +02:00
2020-10-11 22:04:59 +02:00
2020-10-11 22:04:59 +02:00
2020-10-11 22:04:59 +02:00
2020-10-14 22:16:48 +02:00