Skip to content

set_file_perms: if the file is already executable, keep it executable#1141

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:permissionsJun 8, 2017