On 11/02/2016 12:06 PM, Kostis Sagonas wrote:
> On 11/02/2016 11:23 AM, Andreas Schultz wrote:
>> So, do I do something wrong here or is this a legitimate HiPE bug?
> Yes, this looks looks like a legitimate HiPE bug. Will investigate.
Apologies for replying to my own mail, but we indeed investigated this
and a fix appears here: