Skip to content

rlist: remove from potential build#20

Merged
vsoch merged 1 commit intomainfrom
remove-rlist-build
Mar 20, 2026
Merged

rlist: remove from potential build#20
vsoch merged 1 commit intomainfrom
remove-rlist-build

Conversation

@vsoch
Copy link
Member

@vsoch vsoch commented Mar 20, 2026

Per discussion in #13

Signed-off-by: vsoch <vsoch@users.noreply.github.com>
Copy link
Contributor

@grondo grondo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@vsoch
Copy link
Member Author

vsoch commented Mar 20, 2026

Thanks @grondo ! I'm going to make sure the tests pass, and we can merge after. I did a grep in the repository and do not see rlist anywhere else. It was not enabled to build so this change should not do much aside from remove some extra padding.

@vsoch vsoch merged commit 3b0a82e into main Mar 20, 2026
7 checks passed
@vsoch vsoch deleted the remove-rlist-build branch March 20, 2026 15:26
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