This repository has been archived by the owner on Jun 26, 2020. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set default EXTRA_RPM_REPOS to use proposed repo
Change-Id: I6b2b64af6f0608afb3d4769142b715d71b4a509c Closes-Bug: #1641606
- Loading branch information