<div dir="ltr"><div><div>*sigh* seems so. Yet plasma-workspace is from the right branch and it's done by an automated script(!)<br></div><div>Thanks for spotting<br></div><div><br></div></div>David<br></div>