projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 71c34e5 88bba6b)
Merge pull request #4801 from diizzyy/patch-85
authorThomas Heil <heil@terminal-consulting.de>
Mon, 4 Sep 2017 20:47:54 +0000 (22:47 +0200)
committerGitHub <noreply@github.com>
Mon, 4 Sep 2017 20:47:54 +0000 (22:47 +0200)
libs/pcre: Switch to Sourceforge mirrors


Trivial merge
Mirror of packages feed