Skip to content

Conversation

oscardssmith
Copy link
Member

Reverts #748.

@KristofferC
Copy link
Collaborator

KristofferC commented Aug 17, 2025

I'm merging this without comment on the feature itself but that the PR was merged in a non-resolved state.

@KristofferC KristofferC merged commit d90a505 into master Aug 17, 2025
3 of 5 checks passed
@devmotion devmotion deleted the revert-748-ct/small-tag branch August 17, 2025 16:28
@ViralBShah
Copy link
Contributor

@JeffBezanson said he has a patch for improving the extreme verbosity in the printing.

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.

3 participants