Closed ihsaan-ullah closed 2 years ago
@PGijsbers do I have to merge this pull request?
I don't know what the workflow is for this repository. In principle, it's better if a second contributor merges so there's a set of eyes on it. I think it's fine but it would be better if @joaquinvanschoren or @prabhant can have a look since I'm not (yet) familiar with the website codebase.
Fixes#254