delete comments properly when deleting users #1144

Merged

KitaitiMakoto merged 1 commit from fix-delete-user into main

2023-04-16 06:59:58 +00:00

trinity-1686a commented

2023-04-09 11:00:41 +00:00

Owner

I think this should fix #1133, but haven't tested it yet

this reuse the existing comment deletion infrastructure, which does not replace a deleted comment with a this comment has been deleted message. At some point it should be made to leave such a message, but first let's fix the problematic issue, and then we can improve ux

I think this should fix #1133, but haven't tested it yet this reuse the existing comment deletion infrastructure, which does not replace a deleted comment with a `this comment has been deleted` message. At some point it should be made to leave such a message, but first let's fix the problematic issue, and then we can improve ux

👀 1

trinity-1686a added 1 commit 2023-04-09 11:00:46 +00:00