Dear Bernhard, thank you for the clarification. -- Massimo
On 10/24/18 4:55 PM, Bernhard Übelacker wrote: > 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 >
