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

Report defmt decode errors to the user. #112

Merged
merged 1 commit into from
Nov 25, 2020
Merged

Conversation

Dirbaio
Copy link
Contributor

@Dirbaio Dirbaio commented Nov 25, 2020

Fixes #111

Copy link
Contributor

@jonas-schievink jonas-schievink left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks!

@japaric japaric merged commit 013c0bd into knurling-rs:main Nov 25, 2020
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Report defmt decoder errors
3 participants