Closed amihaiemil closed 3 years ago
PR for #15
@amihaiemil thank you for your Pull Request. I'll assign someone to review it soon.
@rultor merge it
@amihaiemil OK, I'll try to merge now. You can check the progress of the merge here
@amihaiemil Done! FYI, the full log is here (took me 3min)
PR for #15