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
2018-03-19 17:31:58 +00:00
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00
2018-04-20 13:10:57 +02:00
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00
2017-03-17 17:09:58 +01:00
2018-03-30 15:01:53 +02:00
2018-03-30 15:01:53 +02:00