Revision f4728d2d86eb8afe637e72afa351fceb38f90e58

Committed on 30/05/2018 12:24 am by Vranac Srdjan <[email protected]> [GitHub Diff]

Use become instead of sudo.