1. 2019-08-26 Re: [vbox-dev] kernel 5.2 build fix [PATCH] vbox-dev Frank Batschulat 2. 2019-08-26 Re: [vbox-dev] kernel 5.2 build fix [PATCH] vbox-dev Frank Batschulat 3. 2019-08-26 [vbox-dev] kernel 5.2 build fix [PATCH] vbox-dev Gianfranco Costama