|
From: | GNU bug tracker automated control server |
Subject: | [debbugs-tracker] Processed: Re: bug#31177: 27.0.50; How do I enlarge a pos-tip tooltip? |
Date: | Tue, 20 Aug 2019 22:13:01 -0400 |
Processing commands for address@hidden: > # now actually closed > close 31177 bug#31177: 27.0.50; How do I enlarge a pos-tip tooltip? bug closed, send any further explanations to address@hidden and Rudi C <address@hidden> > quit 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] |