Comment 6 for bug 1577120

Revision history for this message
Jeremie Tamburini (jeremie2) wrote :

OK, it seems that workaround #4 works if I wait a bit before shutdown/reboot. If I switch off the computer immediately after the boot, the problem will still be there.