Merge pull request #2371 from issmirnov/patch-1
commit6aa372d1decec57e13daee9ee0f8f74af7198a27
authorAndreas Gohr <andi@splitbrain.org>
Fri, 4 May 2018 06:06:38 +0000 (4 08:06 +0200)
committerGitHub <noreply@github.com>
Fri, 4 May 2018 06:06:38 +0000 (4 08:06 +0200)
treeace263e59e57b041b506874b3a8d92ffebca0720
parentbc753765709a0f8b4897dd861fe27fefbf586a6c
parent747301f3eec2e792f0af4655642ff876d50699b0
Merge pull request #2371 from issmirnov/patch-1

Update PHP logo URL to HTTPS