Commit 7c9f8fe0 authored by Julien Osman's avatar Julien Osman
Browse files

Merge branch 'new_prce_url' into 'develop'

Use sourceforge to download PCRE

See merge request !901
parents fc3529e3 fc2e490f
Pipeline #9989 passed with stages
in 4 minutes and 59 seconds