Skip to content

Conversation

vemv
Copy link
Member

@vemv vemv commented Oct 18, 2023

Fixes #3539

@vemv vemv merged commit 7b2e892 into master Oct 18, 2023
@vemv vemv deleted the 3539 branch October 18, 2023 13:14
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.

The cider-error-hoover overlay gets applied to random logging statements in the REPL

1 participant