Summary of changes: a0d0826... add missing build requires (*) c6d83de... Fix crash if you have lots of workspaces (*) f2bdca6... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent