merge 534638 538665 thanks Uh, somehow I missed #534638. Sorry for the noise.
Embarrassed, Sven -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
- Bug#538665: debian-policy: "Info documents" sect... Sven Joachim
- Bug#538665: debian-policy: "Info documents"... Russ Allbery
- Bug#538665: debian-policy: "Info documents&q... Guillem Jover
- Bug#538665: debian-policy: "Info documen... Russ Allbery
- Bug#538665: debian-policy: "Info documents&q... Raphael Hertzog
- Bug#538665: debian-policy: "Info documents&q... Bill Allombert
- Bug#538665: debian-policy: "Info documen... Raphael Hertzog
- Bug#538665: debian-policy: "Info doc... Bill Allombert
- Bug#538665: debian-policy: "Info documen... Russ Allbery
- Bug#538665: debian-policy: "Info doc... Russ Allbery
- Bug#538665: debian-policy: "Info doc... Bill Allombert
