Closed dmitrizagidulin closed 2 years ago
There are some conflicts in this PR, which we can resolve tomorrow, or since I see @dmitrizagidulin on the contributor list who has some git fu, he could resolve and I will merge today.
@dmitrizagidulin and @ChristopherA, all resolved now. @dmitrizagidulin, thank you for your submission.
There are some conflicts in this PR, which we can resolve tomorrow, or since I see @dmitrizagidulin on the contributor list who has some git fu, he could resolve and I will merge today.