Søk i NTNU hjelp fungerer ikke

TopDesk melder om at problemet er løst

Vi opplever at søkefunksjonaliteten i NTNU Hjelp ikke fungerer for våre operatører, leverandør jobber med å fikse problemet