On Sat, 2017-07-15 at 22:07 +0200, Julia Lawall wrote:> These patches fix cases where there is a static on a local variable, but> the variable is initialized before any possible use. Thus, the static has> no benefit.Nice one.