Processing commands for [email protected]: > close 972832 Bug #972832 [dialog] dialog: can't change menu border lines Marked Bug as done > -- Stopping processing here.
Please contact me if you need assistance. -- 972832: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=972832 Debian Bug Tracking System Contact [email protected] with problems
