Skip to content
This repository has been archived by the owner on Jul 4, 2023. It is now read-only.

mpfr 3.1.2 #19162

Closed
wants to merge 1 commit into from
Closed

mpfr 3.1.2 #19162

wants to merge 1 commit into from

Conversation

afh
Copy link
Contributor

@afh afh commented Apr 12, 2013

I have not updated the bottles. What is required to do that?

@MikeMcQuaid
Copy link
Member

One of the maintainers needs to do that. I will.

@afh
Copy link
Contributor Author

afh commented Apr 15, 2013

Thanks for merging and bottling!

dshean pushed a commit to dshean/homebrew that referenced this pull request Sep 24, 2013
Closes Homebrew#19162.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
@Homebrew Homebrew locked and limited conversation to collaborators Feb 16, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants