Skip to content

Add an RFC for lib.coding removal. #63

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Apr 8, 2024
Merged

Add an RFC for lib.coding removal. #63

merged 1 commit into from
Apr 8, 2024

Conversation

wanda-phi
Copy link
Member

@wanda-phi wanda-phi commented Mar 22, 2024 •
edited
Loading

@whitequark whitequark added the area:core RFC affecting APIs in amaranth-lang/amaranth label Mar 22, 2024
@whitequark whitequark mentioned this pull request Mar 22, 2024
Closed
77 tasks
@whitequark whitequark added the meta:nominated Nominated for discussion on the next relevant meeting label Mar 25, 2024
@wanda-phi wanda-phi mentioned this pull request Apr 8, 2024
Closed
@wanda-phi wanda-phi force-pushed the remove-lib-coding branch from 190a078 to 7baae26 Compare April 8, 2024 17:08
@wanda-phi wanda-phi force-pushed the remove-lib-coding branch from 7baae26 to 855f666 Compare April 8, 2024 17:09
@whitequark whitequark merged commit 9108503 into amaranth-lang:main Apr 8, 2024
@whitequark whitequark removed the meta:nominated Nominated for discussion on the next relevant meeting label Apr 8, 2024
@whitequark
Copy link
Member

We have discussed this RFC on the 2024-04-08 core subsystem meeting. The disposition was to merge.

@wanda-phi wanda-phi deleted the remove-lib-coding branch April 9, 2024 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
area:core RFC affecting APIs in amaranth-lang/amaranth
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@wanda-phi @whitequark