Summary of changes: fd53239... fix panel crash on delete panel (*) a3b4d3a... add patch file (*) (*) This commit already existed in another branch; no separate mail sent