当已标记的帖子被编辑时，是否通知标记者？

[gerhard (Gerhard Schlager)]

FEATURE: Notify flaggers when flagged post is edited by author

I didn’t add a user setting. I think it’s better to wait and see if it’s even necessary to add yet another setting.