reset of user password

User forgot her password, so she requests a password rest, but never gets the email.

How do I reset her password, since that function is not an option, even for an administrator?