03/08/2016 at 5:43 PM
#822
Keymaster
Dear Paolo,
thanks for reporting this bug. I forgot to move the function from /dev to the main repository.
Glad you found it. I just uploaded a new release which should correct this. Please tell me if it still doesn’t work.
Best, Andy
