Revision 80aecabddcd561ad263989762c33650e3ad95a40

Committed on 23/12/2021 4:14 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Make sure published rules are deleted