On Sat, Dec 20, 2025 at 09:38:16AM +0100, Andi Shyti wrote:
> Hi Wolfram,
> 
> as agreed here's the pull request from the commits remaining from
> the last merge window.
> 
> Thank you and I wish you a great weekend.

Thank you, pulled!