[vbox-dev] patches for kernel 4.13.0-0.rc0.git4.1.fc27.x86_64 ?

[Sérgio Basto]

Hi, 
Have we patches for kernel 4.13.0-rcx [1]? 
Thanks,

[1]
https://bugzilla.rpmfusion.org/show_bug.cgi?id=4594
https://bugzilla.rpmfusion.org/attachment.cgi?id=1815
-- 
Sérgio M. B.