Closed tuimz closed 5 years ago
Fixes #198
Thanks. It doesn't seem to make a difference, but you are right that it's the suggested notation.
Fixes #198