tree 60c434fcf56ab2212041f99d5d077f3a360f65c1
parent 2472b92d3e717091a13250138273ec70032ecd20
author Ed Merks <ed.merks@gmail.com> 1649689478 +0200
committer Ed Merks <ed.merks@gmail.com> 1649689478 +0200

[Releng] Migrate platformUI.setup to use github URIs