tree a7efacfd119e1aad5ff2c5b05e707747ccb1675d
parent 7ca075be140d75073532cf5332225b731839f496
parent 79f5c5b4fed6884620cc2787270e9a2692ac0cc5
author You Wang <you@opennetworking.org> 1521237571 +0000
committer Gerrit Code Review <gerrit@onosproject.org> 1521237571 +0000

Merge "Add option to avoid checking interfaces when getting host names from Mininet"