Re: [MacPorts] #41617: tigervnc @1.2.0_0: patch filename has wrong case