JetBrains/intellij-community — pull request #228 by ShlXue (2014-11-30 12:16:21+00:00)
Title: optimize plugin version checking when update intellij platform version

Allow update the same build number for a plugin.