[MacPorts] #48539: webkit-gtk3: case-Insensitive.patch MIA

[MacPorts]

#48539: webkit-gtk3: case-Insensitive.patch MIA
--------------------------+------------------------
  Reporter:  game64@…     |      Owner:  jeremyhu@…
      Type:  defect       |     Status:  closed
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.3
Resolution:  invalid      |   Keywords:
      Port:  webkit-gtk3  |
--------------------------+------------------------
Changes (by ionic@…):

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


Comment:

 `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.

-- 
Ticket URL: <https://trac.macports.org/ticket/48539#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X