GNU bug report logs - #77909
[PATCH rust-team] gnu: Add television.

Previous Next

Full log

View this message in rfc822 format

From: Gabriel Santos <gabrielsantosdesouza <at> disroot.org>
To: hako <at> ultrarare.space, 77909 <at> debbugs.gnu.org
Cc: divya <at> subvertising.org, efraim <at> flashner.co.il, steve <at> futurile.net
Subject: [bug#77909] [PATCH rust-team] gnu: Add television.
Date: Sat, 19 Apr 2025 10:46:15 -0300

>>TUI -> terminal user interface
>
>Oh yes, thank you, abbreviations have to ne defined first before they
>are used.

Replacing "TUI" with "Terminal User Interface" yields a 85
character long line, over the 80 limit. Would it be better if I
just remove this from the synopsis?

>Cross-platform, general purpose fuzzy finder

-- 
Gabriel Santos

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.