Tagged texinfo72 by hille42@web.de

State	Bug	Source	Package	Title	Other tags
done	#1092959	check	src:check	check: FTBFS with Upcoming TeXInfo 7.2	list usertags
open	#1092962	ffmpeg	src:ffmpeg	ffmpeg: FTBFS with TeXInfo 7.2	list usertags

Search