Curiously, if I set ChangeGrubMenu to 'no' in hibernate.conf, the menu is still being changed, but now the problem does not occur. Thus, it seems as if somehow the change is done twice, once according to the config file, and once in all cases.
-- .''`. martin f. krafft <[EMAIL PROTECTED]> : :' : proud Debian developer and author: http://debiansystem.info `. `'` `- Debian - when you have better things to do than fixing a system Invalid/expired PGP subkeys? Use subkeys.pgp.net as keyserver! "time flies like an arrow. fruit flies like a banana." -- groucho marx
signature.asc
Description: Digital signature
