On 09/22/2017 04:31 PM, Yoshihito Horigome wrote:
I hope Ubuntu PPA will also update.

For reference, all PPAs were updated to 1.4.0 several days ago.  I hope there will be no problems with the packages.

--Vladimir