https://github.com/docker/machine/releases Please add it to the tree.
Thanks, this is fixed in e79bd2b6aa9bdcf155e44ae4c123c17a053dc37c.