Closed frederikbosch closed 4 years ago
Fixes #194
@harikt @cxj Could you both have a look at the PR?
@frederikbosch all is well. I just merged it for this don't feel anything bad merging your own PR ;-) . You can always blame me and @cxj for this ;-) .
Fixes #194