Closed jamadagni closed 5 years ago
Can you remove the whitespace changes? If not, don't worry.
Those were automatically done by my editor in cutting out trailing spaces. I'm traveling now so if you don't want those changes can you please use your ability to do "edit from maintainers"? Thanks.
No worries, they are pretty inoffensive whitespace changes. I’ll merge.
Thank you!
Fixes #23. For details see there.