Fritjof Bornebusch wrote: > Hi, > > this diff changes the following: > > - exit(3) to return at the end of main functions > - use /* NOTREACHED */ were it belongs according to style(9)
I think that's obsolete. We no longer use lint. It's just noise now.