Thomas Lumley on Nostr: An edge-case for post editing: Suppose I make a post, someone reposts it, then they ...

An edge-case for post editing:

Suppose I make a post, someone reposts it, then they mute or block me, then I edit the post.

Either
- the edit message gets through the mute/block to their notifications; or
- it doesn't

Either could be undesirable. Does someone know which one happens?