On Monday, November 21st, 2022 at 22:38, Randy Taylor <dev@rjt.dev> wrote:
> 
> On Monday, November 21st, 2022 at 16:49, Yuan Fu casouri@gmail.com wrote:
> 
> > Thanks! I was busy with other things, but I’ll try to merge this soon!
> > 
> > Yuan
> 
> 
> No worries, take your time.
> 
> It's probably best to merge Theo's first (Bug#59445) since it's smaller, after which I will rebase and post a new patch.
> 

OK, latest and greatest patch attached.