Closed samvloeberghs closed 5 years ago
Hi @samvloeberghs, many thanks for fixing that typo. I merged the pull request manually some time ago. I'm not sure why GitHub didn't pick it up and closed it automatically which is why I will do that manually now. Many thanks again.
Hi @samvloeberghs, many thanks for fixing that typo. I merged the pull request manually some time ago. I'm not sure why GitHub didn't pick it up and closed it automatically which is why I will do that manually now. Many thanks again.