webkit-gtk3: case-Insensitive.patch MIA

[game64@…]

[Hidden]-Mac-Pro:build [Hidden]$ sudo port install -f webkit-gtk3 +video+quartz
--->  Computing dependencies for webkit-gtk3
--->  Fetching distfiles for webkit-gtk3
--->  Attempting to fetch case-insensitive.patch from http://distfiles.macports.org/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://sea.us.distfiles.macports.org/macports/distfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://ykf.ca.distfiles.macports.org/MacPorts/mpdistfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://lil.fr.distfiles.macports.org/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://webkitgtk.org/releases/
--->  Attempting to fetch case-insensitive.patch from http://mse.uk.distfiles.macports.org/sites/distfiles.macports.org/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://cjj.kr.distfiles.macports.org/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://nue.de.distfiles.macports.org/macports/distfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://fco.it.distfiles.macports.org/mirrors/macports-distfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://osl.no.distfiles.macports.org/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://her.gr.distfiles.macports.org/mirrors/macports/mpdistfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://aarnet.au.distfiles.macports.org/pub/macports/mpdistfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://jog.id.distfiles.macports.org/macports/mpdistfiles/webkit-gtk
--->  Attempting to fetch case-insensitive.patch from http://svn.macports.org/repository/macports/distfiles/webkit-gtk
Error: org.macports.fetch for port webkit-gtk3 returned: fetch failed
Please see the log file for port webkit-gtk3 for details:
    /opt/local/var/macports/logs/[hidden]portfiles_games_WebKitGtkPort/webkit-gtk3/main.log
To report a bug, follow the instructions in the guide:
    http://guide.macports.org/#project.tickets
Error: Processing of port webkit-gtk3 failed

[Ionic (Mihai Moldovan)]

Please remember to CC the port maintainer(s), if any, next time.

[Ionic (Mihai Moldovan)]

files/case-insensitive.patch is available as of r91898 (3 years ago!)

You probably forgot to copy the files directory or the like.

If you can really reproduce this issue and rule out it's a problem on your end, please re-open this ticket.