Federico Giménez Nieto wrote: > I'll try to prepare a fix for these as soon as possible.
It's simply a matter of adding @raisesections to the .texi file. That would be the proper fix for #707514, too. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
