obra’s avatarobra’s Twitter Archive—№ 16,790

  1. …in reply to @quinnnorton
    @quinnnorton Don't worry. 'apt-get dist-upgrade' can fix that booting problem for you.