Merge branch 'main' into patch-1

pull/1710/head
Tom Parker-Shemilt 4 weeks ago committed by GitHub
commit 08d62689e9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -1541,7 +1541,6 @@ See also [Are we game yet?](https://arewegameyet.rs)
[[log](https://crates.io/keywords/log)]
* [estk/log4rs](https://github.com/estk/log4rs) — highly configurable logging framework modeled after Java's Logback and log4j libraries [![CircleCI](https://circleci.com/gh/estk/log4rs.svg?style=shield)](https://app.circleci.com/pipelines/github/estk/log4rs)
* [jesusprubio/leg](https://github.com/jesusprubio/leg) — Elegant print for lazy devs. Make your CLIs nicer with minimal effort. [![Build Status](https://github.com/jesusprubio/leg/workflows/CI/badge.svg)](https://github.com/jesusprubio/leg/actions/workflows/ci.yml)
* [rbatis/fast_log](https://github.com/rbatis/fast_log) — Async log High-performance asynchronous logging
* [rust-lang/log](https://github.com/rust-lang/log) — Logging implementation
* [seanmonstar/pretty-env-logger](https://github.com/seanmonstar/pretty-env-logger) — A pretty, easy-to-use logger.

Loading…
Cancel
Save