Comment 144 for bug 765438

Revision history for this message
Michael Kogan (michael-kogan) wrote :

Thanks for the hint, Christopher! Unfortunately, I set up this machine for some relatives of mine, so I don't have access to it any more. However I installed Teamviewer for urgent cases, so if they should encounter any problems and I can get access to it, I will use the opportunity to file a bug report. For now I just permanently added the kernel option to the GRUB configuration.