Hello André,

Thank you for the patch.  I changed the source to Gitlab since the Github
repositroy and the homepage point to that repo.

Pushed as 399e3ee7b793022b22937901ab4c477ece1ad226.

Cheers,
- Brice



Reply via email to