Control: found -1 5.4.1+dfsg1-1 Control: found -1 5.4.4+dfsg1-2 Control: forcemerge -1 989028
On 2022-11-22 13:12:00 +0100, Vincent Lefevre wrote: > The main issue is actually that the list of terminals is absent > from the info manual (the HTML and PDF manuals seem OK), which > makes the info manual *very* incomplete (this part is about 20% > of the PDF manual) as there are many options specific to > terminals, which are thus not documented; and in [...] and this was bug 989028, which I had reported just before this one. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
