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.