Merge pull request #3110 from rubenk/configure-ac-keep-plugin-list-sorted
authorPavel Rochnyak <pavel2000@ngs.ru>
Thu, 21 Feb 2019 19:24:12 +0000 (02:24 +0700)
committerGitHub <noreply@github.com>
Thu, 21 Feb 2019 19:24:12 +0000 (02:24 +0700)
commitccf9586cbd6b6a2ab0dfe2075992c71561a6910d
tree5a846e034658c9dfa67393c4fa5bafcc9684eaa2
parent1e5857342a9147a69a3709409fed6d6a793be3b5
parentc927d5719803abfba1638fbd1d39446bea15231a
Merge pull request #3110 from rubenk/configure-ac-keep-plugin-list-sorted

configure.ac: keep the list of plugins sorted