Remove gnus-propagate-marks, which is no longer needed.
authorLars Ingebrigtsen <larsi@gnus.org>
Thu, 16 Feb 2012 05:23:19 +0000 (06:23 +0100)
committerLars Ingebrigtsen <larsi@gnus.org>
Thu, 16 Feb 2012 05:23:38 +0000 (06:23 +0100)
commitd30ad4e7f9924a45d2c428420a7ea71e36d94a60
treee6ab470ecede8eb36dc21eade2056296a9891eea
parent82ceb2e2b84646404255585f076eec83e9dfdb85
Remove gnus-propagate-marks, which is no longer needed.

The backends don't store marks any more.
lisp/ChangeLog
lisp/gnus-start.el
lisp/gnus-sum.el
texi/ChangeLog
texi/gnus.texi