_______________________________________________ vbox-dev mailing list [email protected] https://www.virtualbox.org/mailman/listinfo/vbox-dev
I've made a simple patch and posted it to the ticket, please review
https://www.virtualbox.org/ticket/19122
