Skip to content

Conversation

@purdeaandrei
Copy link
Contributor

It's been deprecated since Amaranth commit bfe541a6d7f63b7a8402d86aa51e741c7d1c97bd (2024-03-06)
See PR: amaranth-lang/amaranth#1190
Deprecated since Amaranth release v0.5.0

It's been deprecated since Amaranth commit bfe541a6d7f63b7a8402d86aa51e741c7d1c97bd (2024-03-06)
See PR: amaranth-lang/amaranth#1190
Deprecated since Amaranth release v0.5.0
@RobertBaruch RobertBaruch merged commit d58d459 into RobertBaruch:main Aug 8, 2024
rviollette pushed a commit to rviollette/amaranth-exercises that referenced this pull request Feb 6, 2025
…eprecation_warnings

Get rid of some deprecation warnings
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