fuse sort and unique
fuse sort and unique

Can be done in one go wit List.sort_uniq

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

ps-id: E8F68FC9-FF34-49CD-A7E5-39357BDE54A2

ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,coq/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,coq/coq