[girar-acl] sisyphus changes summary: cadical

2024-03-07 Thread Girar ACL (kotopesutility)
Dear everybody group! You have been engaged in ACL change(s) initiated by Daniel Zagaynov: cadical: "kotopesutility @everybody" -> "kotopesutility vt @everybody" -- Rgrds, your Girar ACL robot ___ Sisyphus-incominger mailing list

[girar-acl] sisyphus changes summary: cadical

2024-03-07 Thread Girar ACL (root)
Dear everybody group! You have been engaged in ACL change(s) initiated by Girar Administrator: cadical: CREATED -> "kotopesutility @everybody" -- Rgrds, your Girar ACL robot ___ Sisyphus-incominger mailing list