Closed tsufz closed 5 years ago
The new search servlet is still called "Quick Search".
Good spot! Fixed with 5aab17aba798fc23333245fa34f21a7cc7adbbfd.
The new search servlet is still called "Quick Search".