NTNU Help search functionality not working

TopDesk melder om at problemet er løst

We’re experiencing problems with the search functionality in NTNU Hjelp, the system owner is working on fixing the problem