Processing commands for control@bugs.debian.org: > owner 872967 Aron Xu <happyaron.xu@gmail.com> Bug #872967 [wnpp] ITP: ukui-menu -- advanced UKUI menu Owner recorded as Aron Xu <happyaron.xu@gmail.com>. > stop Stopping processing here. Please contact me if you need assistance. -- 872967: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872967 Debian Bug Tracking System Contact owner@bugs.debian.org with problems