On 6/20/25 4:56 AM, José Matos wrote:
On Fri, 2025-06-20 at 07:47 +0200, Jürgen Spitzmüller wrote:
You mean, OK on _not_ backporting this? You did follow the ensuing
discussion?
I suspect so. The OK was in reply to Pavel's followup.
Yes, I meant the retraction was fine. At that time. If later
On Fri, 2025-06-20 at 07:47 +0200, Jürgen Spitzmüller wrote:
> You mean, OK on _not_ backporting this? You did follow the ensuing
> discussion?
I suspect so. The OK was in reply to Pavel's followup.
But with a philosopher you can never be sure. :-D
Best regards,
PS: This is the result of too muc
