Comment 4 for bug 1879587

Julien Freche (jfreche) wrote :

Maybe it's covered by EXCP_HYP_TRAP already...