Skip to content

Conversation

@mimoo
Copy link
Contributor

@mimoo mimoo commented Feb 24, 2023

removing this crate since it's unused and we're not going to use it in the future

#1004

@mimoo mimoo requested a review from fabrizio-m February 24, 2023 18:07
@mimoo
Copy link
Contributor Author

mimoo commented Mar 6, 2023

ping @fabrizio-m

@mimoo mimoo merged commit af67296 into master Mar 23, 2023
@mimoo mimoo deleted the mimoo/remove_circuit branch March 23, 2023 18:05
volhovm added a commit that referenced this pull request Oct 29, 2024
This was originally removed as part of PR #1028, but was
mistakenly reintroduced recently during some merge. So now
it is again removed.
dannywillems pushed a commit that referenced this pull request Jan 12, 2025
This was originally removed as part of PR #1028, but was
mistakenly reintroduced recently during some merge. So now
it is again removed.
dannywillems pushed a commit that referenced this pull request Jan 12, 2025
This was originally removed as part of PR #1028, but was
mistakenly reintroduced recently during some merge. So now
it is again removed.
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