Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
package/ci: work around expired certificate error on SourceForge.
Interestingly, happens only on CircleCI, not locally.
- Loading branch information