public marks

PUBLIC MARKS from tadeufilippini with tags "debian linux" & "debian intelx86"