elementary OS 5.1.5: aggiornamenti per il File Manager e l’AppCenterMatteo Gatti·8 Giugno 2020A poco più di un mese dall’ultimo articolo dedicato a elementary OS torniamo a fare il punto circa gli sviluppi...