Fixed some issues with the Search engine
Posted by dutch_bull on February 26, 2020
Got a mail from a fan pointing me on some issues with the search engine of which I’m very gratefull 🙂
Some links weren’t adding up with the search results. Turned out some files were missing and there was a bug in the Search engine itself; these have all been fixed.