Closed h1alexbel closed 1 year ago
@h1alexbel hi, there was no need to create a different PR, you could have just force pushed to your previous branch. Anyway, now that it is done, it's good as it is, thank you :)
@rultor merge
@rultor merge
@victornoel OK, I'll try to merge now. You can check the progress of the merge here
@rultor merge
@victornoel Done! FYI, the full log is here (took me 9min)
@victornoel take a look, please it's a squashed of #1692 closes #1175