Hi Andrew, thanks a lot for the minimal recipe! Very helpful. I confirm the bug and I have now (finally) fixed it.
We can close this bug from... 2013 :) Best, -- Bastien
Hi Andrew, thanks a lot for the minimal recipe! Very helpful. I confirm the bug and I have now (finally) fixed it.
We can close this bug from... 2013 :) Best, -- Bastien