[Dovecot] POP Question

After upgrading to Alpha 4 I have two people complaining about a POP problem. Aparently they are getting their email sent to them over and over. They have it set to "leave messages on server" but apparently whatever keeps track of that is broken.

So - how is it determined with POP what is new and what is read?