Skip to content

chore: Drop better/human-panic#607

Merged
gtema merged 1 commit intomainfrom
panic
Sep 30, 2024
Merged

chore: Drop better/human-panic#607
gtema merged 1 commit intomainfrom
panic

Conversation

@gtema
Copy link
Owner

@gtema gtema commented Sep 30, 2024

Practice showed that neither better-panic gives any benefit, nor
human-panic (it is not possible to upload generated toml file to GitHub
easily). Get rid of them restoring eyre reporting functionality with
some styling.

Practice showed that neither better-panic gives any benefit, nor
human-panic (it is not possible to upload generated toml file to GitHub
easily). Get rid of them restoring eyre reporting functionality with
some styling.
@gtema gtema merged commit 346f507 into main Sep 30, 2024
This was referenced Sep 30, 2024
@gtema gtema deleted the panic branch October 2, 2024 12:13
This was referenced Oct 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant