|
From: | GNU bug tracker automated control server |
Subject: | Processed: Re: bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign |
Date: | Sat, 11 Feb 2023 05:37:07 -0500 |
Processing commands for control@debbugs.gnu.org: > merge 61413 60854 bug#60854: Adjust icons shown with warnings bug#61413: [PATCH] Make warnings show a "warning" emoji instead of a stop-sign Merged 60854 61413. > thanks Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, https://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |