1. 2015-02-11 Re: theme mixing kde-panel Jens Reuterberg 2. 2015-02-09 Re: theme mixing kde-panel Sebastian =?ISO-88 3. 2015-02-08 theme mixing kde-panel Pedro Rosado