To unblock everyone, I have make a final fix and push it to the ppa.
This will be included into the 5.2.4 release.
To unblock everyone, I have make a final fix and push it to the ppa.
This will be included into the 5.2.4 release.