-
mcramer authored
Revision 4063 changed the command of apt-get dist-upgrade, so it is no longer neccessary to call as it is the same one that is already executed before and we can reuse the output.
fbe6a211
Revision 4063 changed the command of apt-get dist-upgrade, so it is no longer neccessary to call as it is the same one that is already executed before and we can reuse the output.