Subject: bug#78935: 30.1.90; [PATCH] Let Imenu optionally allow duplicate menu entries

From: Eli Zaretskii <[email-masked]>
Date: Sat, 12 Jul 2025 11:15:18 +0300

> From: Drew Adams <[email-masked]>
> CC: "[email-masked]" <[email-masked]>
> Date: Sun, 6 Jul 2025 15:03:13 +0000
> 
> > > Also, do you prefer that `-flag' be removed from the name?
> > Yes, please.
> 
> Done.  See attached imenu.el patch and patched file.

I was about to install the patch, but it triggers a compilation
warning:

    ELC      imenu.elc

  In end of data:
  imenu.el:522:25: Warning: the function `increment-symbol-name' is not known to be defined.

I guess something is missing from the patch?