Crash as described in comment #9:
- reproduced with rev <= 14126
- not reproduced with r14127
Closing as 'Fix committed' (bug #1391374 and this one - bug #1029690 - probably could have been marked as duplicate, at least they are fixed by the same commit).
Crash as described in comment #9:
- reproduced with rev <= 14126
- not reproduced with r14127
Closing as 'Fix committed' (bug #1391374 and this one - bug #1029690 - probably could have been marked as duplicate, at least they are fixed by the same commit).