Hi Florian!
I think mailmanclient should not expose a different value as the REST
API does (the fact that it's an int representation of a uuid isn't
exactly obvious from the outside, so a non-explicit conversion could
potentially lead to some confusion).
Hmm, to me the current situation is
If the user_id value changes depending on whether
you are using the API directly via HTTP or through mailmanclient, that
might be hard to understand.
Ah, very good point. I'll do the conversion myself then I guess.
A.
___
Mailman-Developers mailing