1 июля вышло обновление для Raspberry Pi Desktop, дистрибутива на базе Debian, предоставляющего Raspberry Pi Desktop обычному ПК.