Closed arjantijms closed 8 months ago
@arjantijms I think the PR has expired because 4.0.1 already has been released, is that correct? Or do you need someone to approve the review for recording history-log?
@carryel I don't think anything is ever going to happen here. It's more of a testimony now, but can basically be closed indeed.
Close this PR because it has already expired.
@arjantijms I think the PR has expired because 4.0.1 already has been released, is that correct? Or do you need someone to approve the review for recording history-log?