Hallo, de opstartmanager (die tot nu toe correct werkte) werkt niet meer: sinds kort na een update blijft GRUB bij het opstarten standaard op Ubuntu staan. Wat ik ook wijzig met behulp van de opstartmanager GRUB blijft in de 'bovenste' positie openen!!! Is dit een bug in GRUB?? De- en opnieuw installeren van de opstartmanager werkt in ieder geval niet.