Revision e912f9d26ede5e4cdf3568057938ffa6b337b06e

Committed on 04/12/2019 6:57 am by XWB <karelke@gmail.com> [GitHub Diff]

Removed deprecated CommentExtension::isCommentDeleted