@LucaDC - I'll close this report as 'Fix Released' [1] (recent regression has been fixed in r11107) - the remaining issue will be tracked in (reopened) bug #825840. Please comment/reopen if you don't agree.
@LucaDC - I'll close this report as 'Fix Released' [1] (recent regression has been fixed in r11107) - the remaining issue will be tracked in (reopened) bug #825840. Please comment/reopen if you don't agree.