Pilze säubern und eventuell klein schneiden. Zwiebel und Knoblauch schälen und fein hacken. Öl in einer großen Pfanne erhitzen und die Pilze darin anbraten. Mit Salz, Pfeffer
und Thymian würzen. Mit Mehl stauben, anschwitzen und mit Obers und 400 ml Wasser ablöschen. Aufkochen, Gnocchi dazu geben und weitere 7 Minuten köcheln.