[Cuis-dev] Some pull requests

[Mariano Montone]

Juan,

I made one last pull request 😇

Sorry, and thank you. Can you merge once more? I'm done after that.

El 13/6/23 a las 13:05, Mariano Montone escribió:
> El 13/6/23 a las 12:59, Juan Vuletich escribió:
>> I didn't review them in detail, but it is not needed. I merged all of 
>> them. Any further development should be done in the main repo, where 
>> it is easier for others to help.
>
> Thank you.
>
> What you mean with "main repo" ? I made pull requests to the main repo.
>
>
> Mariano
>
>