Closed mximp closed 1 year ago
@yegor256 please check and merge
@yegor256 reminder
@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 1min)
@yegor256 please check and merge