woothemes/woocommerce — pull request #1129 by GeertDD (2012-06-07 08:17:13+00:00)
Title: Allow custom translations for admin menu names

Also see: http://wordpress.stackexchange.com/a/54445/4936