Michael Schwendt wrote: > Bugs are to be reported in bugzilla, e.g. via this convenient link: > http://bugz.fedoraproject.org/mcelog Thanks. It appears that there are a number of bug reports already opened on exactly this problem.