Remove gnus-propagate-marks, which is no longer needed.