On Thu, May 26 2022 20:20, Ihor Radchenko <yanta...@gmail.com> wrote:
> I think that you can simply open an issue in his Github repo. I reached out to him on e-mail, if he doesn't reply there I'll create the issue. Thanks! -- João Pedro de Amorim Paula IT undergraduate at Universidade Federal do Rio Grande do Norte (UFRN)