Skip to content

Conversation

@rc-94
Copy link
Collaborator

@rc-94 rc-94 commented Nov 6, 2023

No description provided.

@rc-94 rc-94 requested a review from patacca November 6, 2023 15:32
@patacca patacca mentioned this pull request Nov 10, 2023
@patacca
Copy link
Collaborator

patacca commented Nov 10, 2023

I refactored substantially the code in order to make it as general as possible, #41 must be applied before this PR.

@patacca patacca requested a review from RobinDavid November 10, 2023 21:14
@RobinDavid RobinDavid merged commit d061e56 into main Nov 10, 2023
@RobinDavid
Copy link
Collaborator

LGTM

@patacca patacca deleted the new_postpass branch November 11, 2023 10:52
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.

4 participants