-
Committer:
Victor
-
Date:
2013-04-24 16:57:13 UTC
-
Revision ID:
victoreduardm@gmail.com-20130424165713-t4ifa092vgq0h35w
Fix bug involving duplicate menu entries.
The code was assuming that the menu passed to the plugin was the same the plugins were added to initially, which is incorrect.