Skip to content
Snippets Groups Projects
Commit 823dd572 authored by Antonis Christofides's avatar Antonis Christofides
Browse files

Change collabora apt repo to https

Initially we had been using http. At some point it can be seen in the
history of this repo that we changed to https; the commit message
mentions that http wasn't working any more. A few commits later, it is
changed to http without notice (but presumably it was changed to http to
fix a problem). Now we found out that http works for some users
but not for others. We change it again to https, hoping for the best.
parent d23791c4
Branches master
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment