[Pkg-virtualbox-devel] Processed: merging 712438 714829

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> merge 712438 714829
Bug #712438 [virtualbox-guest-dkms] virtualbox-guest-dkms: vboxsf kernel module not automatically loaded with linux 3.9
Bug #714829 [virtualbox-guest-dkms] vboxsf: unable to mount using jessie linux-image 3.9-1-686-pae
Merged 712438 714829
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
712438: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712438
714829: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714829
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems