Steve Matzura Fri, 13 May 2016 07:14:36 -0700
Are 'apt-get update' and 'apt-get dist-upgrade' sufficient?