lain ff5e957476 Make search use id index too.
Seems to be faster in general, query planner chooses well.
2018-04-21 09:22:31 +02:00
..
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00