1. 2015-10-12 Re: Review Request 125612: Make doctools optional kde-windo Christoph Cullmann 2. 2015-10-12 Re: Review Request 125612: Make doctools optional kde-frame Christoph Cullmann 3. 2015-10-12 Re: Review Request 125612: Make doctools optional kde-windo Milian Wolff 4. 2015-10-12 Re: Review Request 125612: Make doctools optional kde-frame Milian Wolff 5. 2015-10-12 Re: Review Request 125612: Make doctools optional kde-frame Christoph Cullmann 6. 2015-10-12 Re: Review Request 125612: Make doctools optional kde-windo Christoph Cullmann 7. 2015-10-12 Review Request 125612: Make doctools optional kde-windo Christoph Cullmann 8. 2015-10-12 Review Request 125612: Make doctools optional kde-frame Christoph Cullmann