Thanks for reporting this, drubin. I have fixed the bug, and pushed the fix up to the development branch.
Thanks for reporting this, drubin.
I have fixed the bug, and pushed the fix up to the development branch.