ミントのジャパンチームのHPを久し振りに覗いてみると、19もマイナーバージョンアップしていたようなので、アップグレードすることにした。内容は、タッチパッドドライバーの不具合とか、POLの不具合とか細かなバグフィックスが主なので、今の環境で問題がな…