[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58131: [PATCH] docview: new customization options for imenu
|
From: |
Eli Zaretskii |
|
Subject: |
bug#58131: [PATCH] docview: new customization options for imenu |
|
Date: |
Wed, 28 Sep 2022 19:01:46 +0300 |
> From: Jose A Ortega Ruiz <jao@gnu.org>
> Cc: 58131@debbugs.gnu.org
> Date: Wed, 28 Sep 2022 16:55:56 +0100
>
> Looks good to me. Would you like a patch with the two new strings or is
> it quicker if you directly commit a change by yourself?
No need, I made these changes already.
Thanks for the feedback.