CI: fix adding repo

Authored by habacker on Apr 29 2020, 10:39 PM.

Description

CI: fix adding repo

Details

Committed
habackerApr 29 2020, 10:39 PM
Parents
R139:eba48027575a: CI: fix mingw32 builds
Branches
Unknown
Tags
Unknown