Thanks Charles, yes this is the correct fix, we already saw a couple of instances of this. I checked with upstream Vala and they weren't aware of the issue, so it's now reported (bgo:674201).
« Back to merge proposal
Thanks Charles, yes this is the correct fix, we already saw a couple of instances of this. I checked with upstream Vala and they weren't aware of the issue, so it's now reported (bgo:674201).