Am 28.02.2019 um 18:17 schrieb Mike Horvath:
> The index on Windows is all messed up. I wanted to help fix it, but > never could find the time. Also I don't know what needs to be done.> > The index is the most useful feature IMO.
Are you talking about the v3.7.0 help?
That's a known issue that has already been fixed.
