]> granicus.if.org Git - icinga2/commitdiff
Merge pull request #6734 from leeclemens/remove-redundant-indexes
authorMichael Friedrich <michael.friedrich@icinga.com>
Mon, 29 Apr 2019 07:13:22 +0000 (09:13 +0200)
committerGitHub <noreply@github.com>
Mon, 29 Apr 2019 07:13:22 +0000 (09:13 +0200)
db ido: remove redundant mysql indexes

1  2 
lib/db_ido_mysql/schema/mysql.sql

Simple merge