Your bug report

#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 69352@debbugs.gnu.org.

-- 
69352: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69352
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems