Merge pull request #1872 from darktohka/cmake-regex-fix
authorEbrahim Byagowi <ebrahim@gnu.org>
Fri, 26 Jul 2019 20:50:55 +0000 (01:20 +0430)
committerGitHub <noreply@github.com>
Fri, 26 Jul 2019 20:50:55 +0000 (01:20 +0430)
[cmake] Fix CMake build on newer CMake versions


Trivial merge