Skip to content
This repository was archived by the owner on Jan 30, 2024. It is now read-only.

use defmt-logger#132

Merged
bors[bot] merged 1 commit intomainfrom
use-defmt-logger
Jan 12, 2021
Merged

use defmt-logger#132
bors[bot] merged 1 commit intomainfrom
use-defmt-logger

Conversation

@japaric
Copy link
Member

@japaric japaric commented Jan 12, 2021

follow up of knurling-rs/defmt#338

@jonas-schievink
Copy link
Contributor

bors r+

@bors
Copy link
Contributor

bors bot commented Jan 12, 2021

@bors bors bot merged commit 520c2b4 into main Jan 12, 2021
@bors bors bot deleted the use-defmt-logger branch January 12, 2021 17:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants