Processing control commands: > reopen -1 Bug #712696 [debian-installer] debian-installer: Add Cinnamon and Mate as alternative DEs. Bug 712696 is not marked as done; doing nothing. -- 712696: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712696 Debian Bug Tracking System Contact owner@bugs.debian.org with problems