Merge pull request #31917 from keszybz/path-equal-ptr-drop
authorLuca Boccassi <bluca@debian.org>
Sun, 24 Mar 2024 11:10:58 +0000 (11:10 +0000)
committerGitHub <noreply@github.com>
Sun, 24 Mar 2024 11:10:58 +0000 (11:10 +0000)
Drop unnecessary path_equal_ptr() wrapper


Trivial merge