Hi! I'm just adding this "issue", because I'm not sure whether you've seen this. (I don't know whether github sends notifications to the project owner when a closed issue receives a new comment).
Please feel free to close this issue as you wish. HTH.
Hi! I'm just adding this "issue", because I'm not sure whether you've seen this. (I don't know whether github sends notifications to the project owner when a closed issue receives a new comment).
Please feel free to close this issue as you wish. HTH.