Description of problem: Here are icons for cinnamon desktop which are missing in comps-extra. https://dl.dropboxusercontent.com/u/49862637/Mate-desktop/cinnamon-desktop.png https://dl.dropboxusercontent.com/u/49862637/Mate-desktop/cinnamon-desktop-environment.png They are from https://github.com/linuxmint/mint-mdm-themes/blob/master/usr/share/mdm/html-themes/common/img/sessions/cinnamon.svg and convert by me to *.png Copyright file is here: https://github.com/linuxmint/mint-mdm-themes/blob/master/debian/copyright Everything is discussed with Clement Lefebvre (linuxmit head) Thank you
PR from Leigh for a COPYING file https://github.com/linuxmint/mint-mdm-themes/pull/1
comps-extras-23-1.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/comps-extras-23-1.fc20
comps-extras-23-1.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.