On Wed, Feb 2, 2022 at 3:48 PM Martin Liška <mli...@suse.cz> wrote: > > On 2/2/22 15:38, Richard Biener wrote: > > ... checking for seen_error () unnecessary. > > Sure, so something like this?
yes, I think so. > Ready to be installed? OK. > Thanks, > Martin
