Package: release-notes Version: 2010-11-12 Severity: minor The sentence at the beginning of section 5.1 is strange:
Sometimes, changes have side-effects we cannot reasonably avoid, or we expose bugs somewhere else. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org