Tagged hppa by debian-boot@lists.debian.org

State	Bug	Package	Title	Other tags
open	#248261	src:installation-guide	Problem in hppa.xml	list usertags
open	#302584	src:installation-guide	Problems with the hppa installer-manual	list usertags