05/10 VirtualBox 5.2.12

05/10 VirtualBox 5.2.12:

VirtualBox: a family of x86 virtualisation products for enterprise and home use via DistroWatch.com: Packages