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.