|
From: | GNU bug tracker automated control server |
Subject: | Processed: user address@hidden, usertagging 67549, usertagging 67549 |
Date: | Sat, 06 Apr 2024 07:08:03 -0400 |
Processing commands for control@debbugs.gnu.org: > user guix Setting user to guix (was steve@futurile.net). > usertags 67549 + under-review bug#67549: [PATCH 0/2] gnu: Add latexml. There were no usertags set. Usertags are now: under-review. > usertags 67549 - patch-review-hackers-list bug#67549: [PATCH 0/2] gnu: Add latexml. Usertags were: under-review. Usertags are now: under-review. > thanks Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, https://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |