Hi, What do you mean, did I miss some step from the instructions you pointed to?
Thanks. Best regards, João M. S. Silva On 12/24/2016 12:00 PM, Daniel Shahaf wrote:
João M. S. Silva wrote on Thu, Dec 22, 2016 at 23:54:59 +0000:Thanks. I have submitted a patch to the developers mailing list. (It's my first time.)… it doesn't seem to have been moderated through yet?