-
Joshua Tauberer authored
no need to do a second apt-get update after 'installing' the PHP7 PPA if the PPA was already installed
8ee7de6f
no need to do a second apt-get update after 'installing' the PHP7 PPA if the PPA was already installed
Technounit-GROUP 2023