id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 17879,portfile update: texinfo 4.13a,singingwolfboy@…,vinc17@…,Patch for texinfo 4.13a attached. Also moved from lzma decompression to standard tar.gz decompression.,update,closed,Normal,,ports,1.7.0,invalid,,,texinfo