fsprojects/VisualFSharpPowerTools — pull request #605 by vasily-kirichenko (2014-07-25 15:39:31+00:00)
Title: Fix symbols with different display name

Note: I'd like to keep the commented tracing code for a while.