John 96255f1e13 kde-gtk-config5: update to 5.17.2 ... [ci skip]		2019-10-30 00:47:06 +01:00
..
template	kde-gtk-config5: update to 5.17.2	2019-10-30 00:47:06 +01:00
update	…