Fix PPA script.

This commit is contained in:
chriseth 2018-02-14 16:44:46 +01:00
parent 333163ec4a
commit ca0e323f9f