1. 2018-04-04 D11813: Update colors docbook to 5.12 kde-panel Burkhard_Lück 2. 2018-04-04 D11813: Update colors docbook to 5.12 kde-doc-e Burkhard_Lück 3. 2018-04-03 D11813: Update colors docbook to 5.12 kde-doc-e Marco Martin 4. 2018-03-30 D11813: Update colors docbook to 5.12 kde-panel Burkhard_Lück 5. 2018-03-30 D11813: Update colors docbook to 5.12 kde-doc-e Burkhard_Lück