[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[debbugs-tracker] Processed: control message for bug #21071
From: |
GNU bug tracker automated control server |
Subject: |
[debbugs-tracker] Processed: control message for bug #21071 |
Date: |
Sun, 23 Jun 2019 09:03:02 -0400 |
Processing commands for address@hidden:
> reopen 21071
Bug #21071 {Done: Lars Ingebrigtsen <address@hidden>} [emacs,gnus] Gnus message
flags must be set before expiration, not afterwards
Bug #28331 {Done: Lars Ingebrigtsen <address@hidden>} [emacs,gnus] [gnus]
Articles loose read status on expiry
Bug #33232 {Done: Lars Ingebrigtsen <address@hidden>} [emacs,gnus]
`gnus-summary-line-format' padding doesnât work in gui when there are
multiple-column-width characters
> tags 21071 - fixed patch
Bug #21071 [emacs,gnus] Gnus message flags must be set before expiration, not
afterwards
Bug #28331 [emacs,gnus] [gnus] Articles loose read status on expiry
Bug #33232 [emacs,gnus] `gnus-summary-line-format' padding doesnât work in
gui when there are multiple-column-width characters
Ignoring request to alter tags of bug #21071 to the same tags previously set
Ignoring request to alter tags of bug #28331 to the same tags previously set
Ignoring request to alter tags of bug #33232 to the same tags previously set
> quit
Stopping processing here.
Please contact address@hidden if you need assistance.
GNU bugs database, http://debbugs.gnu.org/