fix has been commited, manually updating status, as no automatic mechanism between github / launchpaad seems to be in place.
fix has been commited, manually updating status, as no automatic mechanism between github / launchpaad seems to be in place.