[MacPorts] #28627: mpfr: patch01 fetch failure

[MacPorts]

#28627: mpfr: patch01 fetch failure
---------------------------------------+------------------------------------
  Reporter:  gabriele_rocco1@…         |       Owner:  vinc17@…           
      Type:  defect                    |      Status:  closed             
  Priority:  Normal                    |   Milestone:                     
 Component:  ports                     |     Version:  1.9.2              
Resolution:  worksforme                |    Keywords:                     
      Port:  mpfr                      |  
---------------------------------------+------------------------------------
Changes (by vinc17@…):

  * status:  new => closed
  * resolution:  => worksforme


Comment:

 Nothing has changed on the MPFR website. It was probably a temporary
 failure, as this can happen from time to time.

-- 
Ticket URL: <https://trac.macports.org/ticket/28627#comment:3>
MacPorts <http://www.macports.org/>
Ports system for Mac OS