woothemes/woocommerce — pull request #3823 by tivnet (2013-09-23 23:12:02+00:00)
Title: Use get_the_title() instead of $post->title

Use `get_the_title()` instead of `$post->title`, because there could be `'the_title'` filters