Properly recognize and extract numeric ID from pseudo ID of Github tasks
authorMikhail Golubev <mikhail.golubev@jetbrains.com>
Wed, 25 Feb 2015 16:20:35 +0000 (19:20 +0300)
committerMikhail Golubev <mikhail.golubev@jetbrains.com>
Wed, 25 Feb 2015 16:37:11 +0000 (19:37 +0300)

No differences found