Re: delete-old-libs removes libgssapi.so.10 but leaves the dead symlink
Date: Sat, 09 Aug 2025 13:49:54 UTC
Ian FREISLICH: > make delete-old-libs leaves a dead symlink libgssapi.so -> libgssapi.so.10. there are some issues with the OptionalObsoleteFiles entries when turning WITH_MITKRB5 on and off, which is what handles removing the old libgssapi. i'm planning to overhaul these and verify they're actually correct... depending on what else comes up that might happen in a day or two.