遅ればせながら

　ふとVirtualBoxのホームページへ行ったら8月13日付けで5.0.2が出ていたんですね。
　Changelogによるとメンテナンスリリースだそうです。早速うちの環境もアップデートしておきました。