Skip to content
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.

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

fst 0.4.3 #125479

Closed
wants to merge 1 commit into from
Closed

fst 0.4.3 #125479

wants to merge 1 commit into from

Conversation

ZhongRuoyu
Copy link
Member

@ZhongRuoyu ZhongRuoyu commented Mar 12, 2023

Created with brew bump-formula-pr.

This carries fix for error seen in #125208. Although it's unrelated to the Rust version -- let's merge it after the Rust update, just to make sure.

@BrewTestBot BrewTestBot added rust Rust use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Mar 12, 2023
@ZhongRuoyu ZhongRuoyu added do not merge and removed rust Rust use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Mar 12, 2023
@ZhongRuoyu ZhongRuoyu marked this pull request as draft March 12, 2023 23:32
@ZhongRuoyu ZhongRuoyu mentioned this pull request Mar 12, 2023
@ZhongRuoyu ZhongRuoyu marked this pull request as ready for review March 13, 2023 10:26
@BrewTestBot BrewTestBot added rust Rust use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Mar 13, 2023
@ZhongRuoyu ZhongRuoyu added ready to merge PR can be merged once CI is green and removed do not merge labels Mar 13, 2023
@BrewTestBot
Copy link
Member

:shipit: @ZhongRuoyu has triggered a merge.

@ZhongRuoyu ZhongRuoyu deleted the bump-fst-0.4.3 branch March 13, 2023 11:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bump-formula-pr PR was created using `brew bump-formula-pr` ready to merge PR can be merged once CI is green rust Rust use is a significant feature of the PR or issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants