Replace apt-get with apt

Dashamir Hoxha requested to merge replace-apt-get into master May 13, 2018