On Mon, May 29, 2017 at 1:38 PM, Daniele Varrazzo<daniele(dot)varrazzo(at)gmail(dot)com> wrote:> Patch attached
Right. I am adding that to the list of open items, and Heikki in CCwill likely take care of it.-- Michael