Closed tannakartikey closed 5 years ago
@rultor merge
@tannakartikey OK, I'll try to merge now. You can check the progress of the merge here
@tannakartikey Done! FYI, the full log is here (took me 6min)
@rultor merge