Closed ankitmaloo closed 2 years ago
@ankitmaloo and I thought I could help you fix it with a quick suggestion myself but github web UI doesn't let you change deleted lines :facepalm:
@ankitmaloo thanks for this PR, it would be really helpful to see this merged. @xcarpentier would it be possible to this PR merged?
@xcarpentier can it be merged?