Re: Review Request 125612: Make doctools optional

2015-10-12 Thread Christoph Cullmann
--- This is an automatically generated e-mail. To reply, visit: https://git.reviewboard.kde.org/r/125612/ --- (Updated Oct. 12, 2015, 9:07 p.m.) Status -- This change has been ma

Re: Review Request 125612: Make doctools optional

2015-10-12 Thread Milian Wolff
--- This is an automatically generated e-mail. To reply, visit: https://git.reviewboard.kde.org/r/125612/#review86755 --- Ship it! +1 from my side, seems like a nobrainer to me. - Mi

Re: Review Request 125612: Make doctools optional

2015-10-12 Thread Christoph Cullmann
--- This is an automatically generated e-mail. To reply, visit: https://git.reviewboard.kde.org/r/125612/ --- (Updated Oct. 12, 2015, 8:10 p.m.) Review request for KDE Frameworks, kde

Review Request 125612: Make doctools optional

2015-10-12 Thread Christoph Cullmann
--- This is an automatically generated e-mail. To reply, visit: https://git.reviewboard.kde.org/r/125612/ --- Review request for KDE Frameworks and kdewin. Repository: kservice Desc