Subject: bug#54532: [PATCH] sorting

From: Eli Zaretskii <[email-masked]>
Date: Thu, 31 Mar 2022 16:58:57 +0300

> From: Lars Ingebrigtsen <[email-masked]>
> Cc: [email-masked], Eli Zaretskii <[email-masked]>
> Date: Thu, 31 Mar 2022 14:03:05 +0200
> 
> Re-skimming this thread, it seems like Eli's questions were answered
> (but there were a couple of very minor stylistic issues to be fixed).
> 
> So I guess this is ready for merging now (after fixing those couple
> issues)?  Eli?

Yes, I think as soon  as Andrew comes up with an updated patch, we can
install this.