[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#54532: [PATCH] sorting
From: |
Eli Zaretskii |
Subject: |
bug#54532: [PATCH] sorting |
Date: |
Thu, 31 Mar 2022 16:58:57 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: 54532@debbugs.gnu.org, Eli Zaretskii <eliz@gnu.org>
> 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.
bug#54532: [PATCH] sorting, Lars Ingebrigtsen, 2022/03/31
- bug#54532: [PATCH] sorting,
Eli Zaretskii <=