Merge pull request #6242 from neheb/patch-4
authorThomas Heil <heil@terminal-consulting.de>
Tue, 12 Jun 2018 13:01:50 +0000 (15:01 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Jun 2018 13:01:50 +0000 (15:01 +0200)
pcre: Update to 8.42


Trivial merge