Processed: control message for bug #52555

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> severity 52555 important
Bug #52555 [guix-patches] [RFC PATCH 0/3] Decentralized substitute distribution 
with ERIS
Severity set to 'important' from 'normal'

> quit
Stopping processing here.

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

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