#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