woothemes/woocommerce — pull request #6909 by webaware (2014-12-06 07:48:21+00:00)
Title: Delete cached sessions when clearing expired sessions

Fixes #6907. When expired sessions are deleted from the `wp_options` table, they are first deleted from the object cache so that they can't hang around and prevent new sessions from being created.