Subject: Re: git-diff: --ignore-matching-lines has no effect on the output when --name-only is used

From: [email-masked]
Date: Fri, 25 Jul 2025 08:06:53 +0200

sorry for the noise at the end of the previous message, please don't mind my cat.