antdude BETA1: https://forums.virtualbox.org/viewtopic.php?t=113650, https://www.virtualbox.org/pipermail/vbox-announce/2025-May/000243.html, & https://www.virtualbox.org/pipermail/vbox-dev/2025-May/010316.html
antdude https://www.virtualbox.org/wiki/Changelog-7.2#v00 Weird. I didn’t get an e-mail about this final release, but then https://www.virtualbox.org/pipermail/vbox-announce/ shows nothing for August!