Merge pull request #22518 from mhei/php8-update-to-8.2.12
[feed/packages.git] / utils / gkermit /
drwxr-xr-x   ..
-rw-r--r-- 1369 Makefile
drwxr-xr-x - patches