Merge branch 'main' into main

This commit is contained in:
Chuck Davis
2023-07-27 08:50:53 -05:00
committed by GitHub
22 changed files with 64 additions and 1 deletions

View File

@ -53,4 +53,4 @@ pio = "0.2.1"
rand = { version = "0.8.5", default-features = false }
[profile.release]
debug = true
debug = 2