Closed prjemian closed 2 years ago
@qzhang234 : bump
Should this be closed without merge?
Yes I agree. Should I click Resolve conflict
or simply Close with comment
?
Close with comment (unless you actually plan to modify the code to resolve the conflict).
fixes #210