@ChangeLog * Fixed a bug in altering a normal index to a functional one. Pushed to master, 2.4, 2.3. On 24/04/2020 01:29, Igor Munkin wrote: > I don't know whether this patch needs a ChangeLog entry, but it's > missing here.