Skip to content

Conversation

@asm582
Copy link
Member

@asm582 asm582 commented Jul 23, 2023

No description provided.

@asm582 asm582 requested review from metalcycling and tardieu July 23, 2023 18:11
@metalcycling
Copy link
Collaborator

Everything is in the chopping block nowadays HAHAHAHA. Approved!

@asm582
Copy link
Member Author

asm582 commented Jul 25, 2023

@astefanutti your PR is merged, do you agree we can close this PR?

@astefanutti
Copy link
Contributor

@asm582 yes, I've double checked and all these changes are already included in #457.

@asm582 asm582 closed this Jul 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

5 participants