Subject: Re: bug#16652: Texinfo index entries should not contain colons

From: Glenn Morris <[email-masked]>
Date: Thu, 10 Jan 2019 20:09:45 -0500

Glenn Morris wrote:

> Info cannot handle colons in index intries, so they don't work.

Looks like some of them may work since Texinfo 6.4.
Ref https://debbugs.gnu.org/34023#14