Change 4046 has been successfully merged into the master branch of tools/repo. Patch-set: 1
Patch-set: 1 Change-id: I03eaf07ec6aa7e99a0444ac1ec708b2a5f7cbbf5 Subject: Support <remove-project name="X"> in manifest to remove/replace X Branch: refs/heads/master Commit: 03eaf07ec6
03eaf07ec6