wmariuss Merge pull request #114 from lcacciagioni/remove_devhub