[vbox-dev] Announcement: VirtualBox 5.1.20 released

[Gianfranco Costamagna]

hello


>http://download.virtualbox.org/virtualbox/5.1.20/VirtualBox-5.1.20a.tar.bz2


or just grab them via patch I crafted when I faced the same issue this morning
(I downloaded the tarball and extracted it)
https://anonscm.debian.org/cgit/pkg-virtualbox/virtualbox.git/commit/?id=5cd6c332710e68d939dfcbbd28aa5c0dea0108c4

G.