Closed amandanwadkwe closed 1 year ago
Thank you @TomazErjavec I will do that now
Hi @TomazErjavec, I have just updated the branch with a smaller sample.
Do I close a pull request and create a new one please?
Do I close a pull request and create a new one please?
This I leave to @matyaskopp, he is the master of pull requests.
Do I close a pull request and create a new one please?
No, just update your fork
Thank you
@amandanwadkwe, looks like you will need to make a smaller sample. Pls. also accept invitation to ParlaMint, so issues can be assigned to you.