Обновление пакета gnome-shell-extension-ddterm в ветке p11