Comment # 19 on bug 1193139 from Tom de Vries

(In reply to Tom de Vries from comment #17)
> (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.

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

So, it seems 15.2 is ok.