Closed JoshuaWise closed 5 years ago
I noticed this typo while going through the source code.
Nice catch (and sorry for the late merge).
Cherry-picked to master. Github does not seem to detect that this commit has been added to master, so closing the PR now...
I noticed this typo while going through the source code.