Hey folks,

Mailman stores user_ids as UUIDs in the database, and they are converted on the fly to integers by the REST API. However, the mailmanclient library do not convert them back to UUID. Do you think this is something that it should do, or should I handle this conversion in my own code?

FYI, I'm attaching a very simple patch which does this conversion in mailmanclient (4 lines changed).

Aurélien