Skip to content

Conversation

@jasonvarga
Copy link
Member

This fixes style according to Pint.

@jasonvarga jasonvarga merged commit b48d620 into master Oct 15, 2024
@jasonvarga jasonvarga deleted the pint branch October 15, 2024 20:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants