langemeijer/phpstorm-deb — pull request #7 by verwilst (2014-02-26 12:53:50+00:00)
Title: upgrade to 7.1.3

Very simple change that allows people to install 7.1.3 without changes themselves :)