Bug#538665: debian-policy: "Info documents" section is outdated

[Sven Joachim]

merge 534638 538665
thanks

Uh, somehow I missed #534638.  Sorry for the noise.

Embarrassed,
Sven



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org