Revision e912f9d26ede5e4cdf3568057938ffa6b337b06e

Committed on 04/12/2019 6:57 am by XWB <[email protected]> [GitHub Diff]

Removed deprecated CommentExtension::isCommentDeleted