[FIX] res_user: de-duplicate usernames for warning msg about group deletion
[FIX] res_user: de-duplicate usernames for warning msg about group deletion
ovnicraft/openerp-server,gisce/openobject-server,MarkusTeufelberger/openobject-server,splbio/openobject-server,splbio/openobject-server,vnc-biz/openerp-server,vnc-biz/openerp-server,MarkusTeufelberger/openobject-server,splbio/openobject-server,gisce/openobject-server,ovnicraft/openerp-server,gisce/openobject-server,MarkusTeufelberger/openobject-server