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
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