Build 171.3780.107 of version 2017.1 was released on Mar 21, 2017. Release Notes: https://www.jetbrains.com/idea/whatsnew/
https://www.jetbrains.com/idea/download/#section=linux
In other words, Stephan indicated that version 2017.1.1 (build 171.4073.35) was released on Apr 11, 2017 with release notes [1]. Also version 2017.1.2 (build 171.4249.39) was released on Apr 25, 2017 with release notes [2]. [1] https://confluence.jetbrains.com/display/IDEADEV/IntelliJ+IDEA+2017.1.1+Release+Notes [2] https://confluence.jetbrains.com/display/IDEADEV/IntelliJ+IDEA+2017.1.2+Release+Notes
thanks for the indication, I will update when I have time. I have not forget this, just not so much time at the moment.
There is a newer version available: Version: 2017.1.3 Build: 171.4424.56 Released: May 16, 2017 https://www.jetbrains.com/idea/download/#section=linux
Version: 2017.1.4 Build: 171.4694.23 Released: June 6, 2017 https://www.jetbrains.com/idea/download/#section=linux
Version: 2017.2.1 Build: 172.3544.35 Released: August 1, 2017 https://www.jetbrains.com/idea/download/#section=linux
thanks for the indication, I will bump it today.
Version: 2017.2.2 Build: 172.3757.52 Released: August 15, 2017 https://www.jetbrains.com/idea/download/#section=linux
closed by commit: 03bc6c9dc0c30f01e4c7b55eee38e1ad6d5b65cd
Thanks! :-)