On 2017/02/27 5:43, Michael van Elst wrote:
No, that's clearly a bug.
Thank you for your comment. I committed the fix! rin