Hello Massimo, Am 24.10.2018 um 15:54 schrieb Massimo MANGHI: > ... and the new patch will be > included in the next upload, is it correct? Am I supposed to take any > further action? Something like changing the bug status or applying some > extra tag to the bug in order to specify the environment (VirtualBox) > where the problem occurs?
I really was just trying to debug the issue, further actions are up to the maintainers. Also another user reported a workaround in [1] that you might have not received by mail. Kind regards, Bernhard [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911680#18
