Summary of changes: 112e929... add missing build requires (*) 23fd56b... Fix crash if you have lots of workspaces (*) 15d1c41... Merge branch 'f18' into f17 (*) (*) This commit already existed in another branch; no separate mail sent