|
From: | GNU bug tracker automated control server |
Subject: | Processed: control message for bug #52313 |
Date: | Fri, 14 Jan 2022 05:31:02 -0500 |
Processing commands for control@debbugs.gnu.org: > tags 52313 - moreinfo Bug #52313 [emacs] bold face font size unexpected increase ("Fixed" family) Removed tag(s) moreinfo. > quit Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, http://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |