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
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.

Report defmt decoder errors
3 participants