Remove the comment from the post after undo
authorAlex Schroeder <alex@gnu.org>
Wed, 14 Aug 2019 10:40:46 +0000 (12:40 +0200)
committerAlex Schroeder <alex@gnu.org>
Wed, 14 Aug 2019 10:40:46 +0000 (12:40 +0200)
commitb5d7f34ea6584ca8d5c97fdd68a4a4a550ca4f1e
treebd641a23bfb370245388590b333f7b2dc9802f41
parent9200e1e1a81a238b17b5366b4580905b3d02457f
Remove the comment from the post after undo

The undo case (delete comment x from y) is now handled like the normal
case (delete comment z) in that we update the comments of the post
such as to remove the deleted comment. This fixes the display using
the comments command.
jan-pona-mute.py