Comment # 17 on bug 1193139 from Tom de Vries

(In reply to Tom de Vries from comment #16)
> (In reply to Tom de Vries from comment #15)
> > data point:
> > - fresh leap 15.2 install from dvd iso image.
> > - enabled main repository only, then enabled network, so no updates
> > - installed gcc, gcc-32bit packages
> > - ran reproducer script, problem did not reproduce
> 
> forgot to mention: with kernel version 5.3.18-lp152.19-default
> 
> Another data point:
> - enabled main update repository
> - did sudo zypper update kernel-default, which installed
> 5.3.18-lp152.106-default
> - rebooted
> - ran reproducer script, problem did not reproduce

another data point:
- did sudo zypper update gcc gcc-32bit
- ran reproducer script, problem did not reproduce.