åtgärder som i Gibraltar stadgats för fartyg , som dit ankomma från Portugal , numera upphäfda ;hvilket