Skip to content

remove useless pure comment, closes #1937 (#1948) #682

remove useless pure comment, closes #1937 (#1948)

remove useless pure comment, closes #1937 (#1948) #682