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

rpm 4.19.1.1 #162455

Closed
wants to merge 1 commit into from
Closed

rpm 4.19.1.1 #162455

wants to merge 1 commit into from

Conversation

bakkot
Copy link

@bakkot bakkot commented Feb 12, 2024

Created with brew bump-formula-pr.

@github-actions github-actions bot added lua Lua use is a significant feature of the PR or issue linux-only Formula depends on Linux bump-formula-pr PR was created using `brew bump-formula-pr` labels Feb 12, 2024
@bakkot
Copy link
Author

bakkot commented Feb 12, 2024

@bakkot
Copy link
Author

bakkot commented Feb 12, 2024

hm, never mind, I don't think this actually worked :(

@bakkot bakkot closed this Feb 12, 2024
@chenrui333
Copy link
Member

@bakkot why can't we go with this PR? what is the issue?

@bakkot
Copy link
Author

bakkot commented Feb 17, 2024

@chenrui333 It didn't actually make it work on MacOS, when I tried it locally.

@chenrui333
Copy link
Member

#163520

@chenrui333 chenrui333 added the superseded PR was replaced by another PR label Feb 23, 2024
@github-actions github-actions bot added the outdated PR was locked due to age label Mar 24, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bump-formula-pr PR was created using `brew bump-formula-pr` linux-only Formula depends on Linux lua Lua use is a significant feature of the PR or issue outdated PR was locked due to age superseded PR was replaced by another PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants