Skip to content

Bump toolchains to remove patches#931

Merged
dzbarsky merged 2 commits intomainfrom
zbarsky/more-tools
Feb 8, 2026
Merged

Bump toolchains to remove patches#931
dzbarsky merged 2 commits intomainfrom
zbarsky/more-tools

Conversation

@dzbarsky
Copy link
Collaborator

@dzbarsky dzbarsky commented Feb 7, 2026


Changes are visible to end-users: yes/no

  • Searched for relevant documentation and updated as needed: yes/no
  • Breaking change (forces users to change their own code or config): yes/no
  • Suggested release notes appear below: yes/no

Test plan

  • Covered by existing test cases
  • New test cases added
  • Manual testing; please provide instructions so we can reproduce:

@dzbarsky dzbarsky force-pushed the zbarsky/more-tools branch 3 times, most recently from 85edea5 to 3263581 Compare February 7, 2026 01:03
@dzbarsky dzbarsky merged commit 325b5da into main Feb 8, 2026
2 checks passed
@dzbarsky dzbarsky deleted the zbarsky/more-tools branch February 8, 2026 20:24
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