Why is there no DHCP settings in the virtual network editor for the Linux version of Workstation (12.5.2)? Is this just an oversight or some real reason for it not being included?
