On 11/6/25 3:30 PM, Danilo Krummrich wrote: > On 11/6/25 11:18 PM, John Hubbard wrote: >> I'm thinking we can either do it, before or after the big pending >> set of patches that have been posted so far, probably. > > I'd prefer doing it before, it ensures we have consistent style throughout the > driver and gives the chance to cleanup unnecessary imports that are covered by > prelude.
OK. I'll post something ASAP. thanks, -- John Hubbard
