|
From: | GNU bug tracker automated control server |
Subject: | Processed: Re: bug#47529: Make quoted entities stand out more in info |
Date: | Sat, 03 Apr 2021 19:59:02 -0400 |
Processing commands for control@debbugs.gnu.org: > forcemerge 20721 47529 bug#20721: 25.0.50; Review default settings of Info-quoted face (Requires > texinfo-5 ???) bug#47529: Make quoted entities stand out more in info Forcibly Merged 20721 47529. > thanks 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] |