On 2025-12-30 23:28:48 +0100, Preuße, Hilmar wrote: > Am 13.05.2025 um 15:26 schrieb Vincent Lefevre: > > Hello Vincent, > > > For security, www.gnu.org and gnu.org URLs should be in https. > > At least the info manual and the man pages are concerned. > > > > In the upstream git repo a lot of these URL's were corrected. It seems that > TI 7.3 will be released soon, I tag your bug as fixed in upstream.
Indeed, it seems that this has been done for the info manual and the man pages. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
