public marks

PUBLIC MARKS from tadeufilippini with tags gdm & "desktops linux"