Summary of changes: 8f061da... proposed patch to fix/workaround isEmpty crash (#858271) (*) 2517cb1... +changelog (*) (*) This commit already existed in another branch; no separate mail sent