Processed: your mail

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> close 67354
bug#67354: [PATCH gnome-team 1/2] gnu: grilo: Update to 0.3.16.
bug closed, send any further explanations to
67354@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> close 67223
bug#67223: [PATCH gnome-team] gnu: gnome-boxes: Update to 44.3.
bug closed, send any further explanations to
67223@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> close 67167
bug#67167: [PATCH] gnu: gcr: Update to 4.1.0.
bug closed, send any further explanations to
67167@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> close 67163
bug#67163: [PATCH] gnu: eog: Update to 44.3.
bug closed, send any further explanations to
67163@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> close 67413
bug#67413: [PATCH gnome-team] gnu: gupnp: Update to 1.6.6.
bug closed, send any further explanations to
67413@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> close 67353
bug#67353: [PATCH gnome-team] gnu: gnome-weather: Update to 44.0.
bug closed, send any further explanations to
67353@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> close 67348
bug#67348: [PATCH gnome-team] gnu: gnome-system-monitor: Update to 44.0.
bug closed, send any further explanations to
67348@debbugs.gnu.org and Vivien Kraus <vivien@planete-kraus.eu>

> thanks
Stopping processing here.

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

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