|
From: | GNU bug tracker automated control server |
Subject: | [debbugs-tracker] Processed: Re: bug#15099: 24.3.50; Box has no right border |
Date: | Thu, 15 Aug 2013 11:35:03 -0400 |
Processing commands for address@hidden: > merge 13134 15099 bug#13134: 24.3.50; Box has no right border bug#15099: 24.3.50; Box has no right border Merged 13134 15099. > thanks Stopping processing here. Please contact address@hidden if you need assistance. GNU bugs database, http://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |