phiresky 9bfa86d162 add trigram index to search (#3719) ... * add trigram index to search * add community index		2023-07-27 12:11:00 +02:00
..
down.sql	add trigram index to search (#3719)	2023-07-27 12:11:00 +02:00
up.sql	add trigram index to search (#3719)	2023-07-27 12:11:00 +02:00