Ignore all non-TeXiFy indexing exceptions#3309

Merged

PHPirates merged 1 commit intologgingfrom index-exceptions

Nov 24, 2023

+14-9

Commits on Nov 8, 2023

Ignore all non-TeXiFy indexing exceptions like #3306
PHPirates
committed