Hi,
Today when I scanned the Jira and found that some issues have already been resolved but not closed. So I want to remind that if you merge a PR, please remember to close the issue at the same time :) Thanks, -- Jialin Qiao School of Software, Tsinghua University 乔嘉林 清华大学 软件学院
