Hi, On Thu, 2018-05-24 at 21:48 +0000, Guolin Yang wrote: > Yes, that code is not correct, we should fix that code
Did you have any chance to address the issue and/or to give a more in- deepth look to the change proposed in my initial email? Thanks, Paolo
