diff options
| author | Paul Menzel <pmenzel+cairo@molgen.mpg.de> | 2018-10-16 12:21:06 +0200 |
|---|---|---|
| committer | Bryce Harrington <bryce@bryceharrington.org> | 2018-10-16 10:03:07 -0700 |
| commit | 1c9201721d4c3ad667214cb2032e038e57395feb (patch) | |
| tree | 3b169c6564bd329f6e69ead607d0636ae5b05385 /BUGS | |
| parent | 15ad6ca3e1ae2f34da4de1c81ac085031e1de8d1 (diff) | |
| download | cairo-1c9201721d4c3ad667214cb2032e038e57395feb.tar.gz | |
Use HTTPS URLs for freedesktop.org domains
Run the command below suggested by geirha in ##sed@irc.freenode.net.
git grep -l 'http://.*freedesktop.org' | xargs sed -i 's|http\(://\([[:alnum:].-]*\.\)\{0,1\}freedesktop\.org\)|https\1|g'
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ which you prefer: up on previous bug reports, and search for existing, known bugs. Just use the "cairo" product: - http://bugs.freedesktop.org + https://bugs.freedesktop.org It is necessary to go through a quick account creation process, (with email address verification), in order to be able to report @@ -49,7 +49,7 @@ in getting the bug fixed sooner): 1) Check to see if the bug has been reported already. It's pretty easy to run a search or two against the cairo product in the - http://bugs.freedesktop.org bugzilla database. Another place to + https://bugs.freedesktop.org bugzilla database. Another place to look for known bugs is the cairo ROADMAP: https://cairographics.org/ROADMAP |