Closed k3p7i3 closed 1 year ago
Closes: #1181
@yegor256 , could you review this pr, please?
@rultor merge
@yegor256 OK, I'll try to merge now. You can check the progress of the merge here
@yegor256 Done! FYI, the full log is here (took me 5min)
@k3p7i3 thanks!
Closes: #1181