Subject: bug#58131: [PATCH] docview: new customization options for imenu

From: Eli Zaretskii <[email-masked]>
Date: Wed, 28 Sep 2022 19:01:46 +0300

> From: Jose A Ortega Ruiz <[email-masked]>
> Cc: [email-masked]
> 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.