[MacPorts] #53942: generaluser-soundfont: update to 1.471

MacPorts noreply at macports.org
Sat Jun 9 08:10:47 UTC 2018


#53942: generaluser-soundfont: update to 1.471
------------------------------------+------------------
  Reporter:  mojca                  |      Owner:  RJVB
      Type:  update                 |     Status:  new
  Priority:  Normal                 |  Milestone:
 Component:  ports                  |    Version:
Resolution:                         |   Keywords:
      Port:  generaluser-soundfont  |
------------------------------------+------------------

Comment (by RJVB):

 You're not wrong about that. I honestly cannot remember if using `curl`
 directly solved the issue (I do remember that I never know how to use that
 command properly; wget is so much more user-friendly, to me at least).

 Mojca's proposal for `fetch.user_agent` does make sense, but as always
 with adding features to base, it would make the port break for anyone who
 for some reason cannot update.

-- 
Ticket URL: <https://trac.macports.org/ticket/53942#comment:5>
MacPorts <https://www.macports.org/>
Ports system for macOS


More information about the macports-tickets mailing list