|
From: | GNU bug tracker automated control server |
Subject: | [debbugs-tracker] Processed: Re: bug#14441: bug in new file extensions |
Date: | Tue, 28 May 2013 05:46:02 -0400 |
Processing commands for address@hidden: > severity 14441 minor Bug #14441 [automake] bug in new file extensions Severity set to 'minor' from 'normal' > tags 14441 + patch Bug #14441 [automake] bug in new file extensions Added tag(s) patch. > stop 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] |