Skip to content

Conversation

@phanirithvij
Copy link
Contributor

@phanirithvij phanirithvij commented Jan 19, 2026

removing with lib.

I will ignore nixfmt commit for now, can't be bothered to handle the conflicts. It can be done at the end.

Signed-off-by: phanirithvij <phanirithvij2000@gmail.com>
@zimbatm zimbatm merged commit 4ec3521 into numtide:main Jan 19, 2026
5 of 19 checks passed
@zimbatm
Copy link
Member

zimbatm commented Jan 19, 2026

thanks!

@phanirithvij phanirithvij deleted the remove-with-lib branch January 19, 2026 09:41
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