On 13.05.2025 14:42, Kevin Wolf wrote:
Am 12.05.2025 um 11:23 hat Michael Tokarev geschrieben:
[..]
This was already merged for 10.0 as commit 61b6d9b7.

Heck. Yes, it is, and I already queued it for 9.2, too.

Sorry for the noise.

/mjt

Reply via email to