mininet pull request has been merged