Skip to content

Conversation

DePasqualeOrg
Copy link
Contributor

@pcuenca, can we please merge this, since every time more commits get added, I have to update it?

@DePasqualeOrg
Copy link
Contributor Author

@pcuenca, if you're worried about the extent of the changes from the formatting, you can remove the last commit and run the formatting yourself. It should only take a minute to take care of this, and the longer it gets left open, the more problems it creates down the line for #151, which is ready to go and only waiting on this.

@FL33TW00D
Copy link
Contributor

@DePasqualeOrg Thanks for this, I think this will be superseded by #174

@FL33TW00D FL33TW00D closed this Feb 17, 2025
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.

2 participants