fix: greatly improve performance of often-executed ping-fetch-query

[gigi.git] / src / org / cacert / gigi / database / upgrade / from_25.sql

CREATE INDEX ON "domainPinglog" ("configId","when");