Subject: Patch was merged

From: Gabriel Wicki <[email-masked]>
Date: Fri, 24 Jan 2025 10:45:40 +0100

close 69090

thanks

This has been merged as of commit
6ec3c260a1951666bcf428de3f901753429fdfdb