Processed: control message for bug #43833

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 43833 fixed
Bug #43833 [emacs] 28.0.50; gnus-use-backend-marks is never used in gnus, the 
manual should be updated
Added tag(s) fixed.
> close 43833 28.1
bug#43833: 28.0.50; gnus-use-backend-marks is never used in gnus, the manual 
should be updated
bug marked as fixed in version 28.1, send any further explanations to
43833@debbugs.gnu.org and Zhiwei Chen <condy0919@gmail.com>

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, http://debbugs.gnu.org/