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)
configure.ac: keep the list of plugins sorted


Trivial merge