> Control: close #56371

To run a control command, send it to control@debbugs.gnu.org :)

    -- (