VirtualBox 5.2.12 released

[michael]

VirtualBox 5.2.12 is a maintenance release. The following items were fixed and/or added since VirtualBox 5.2.10:

• Serial: fixed possible data corruption when sending data under certain circumstances
• Video recording: fixed starting / stopping recording under certain circumstances
• Linux hosts: support Linux 4.17 changes. Thank you Larry Finger
• Linux guests: support Linux 4.16 and EL 7.5 kernels (bugs #17676 and #17678)
• Linux guests: 3D fixes for recent guests (bug #17623)