On 08/31/2017 07:49 AM, Richard Biener wrote:
On Thu, Aug 31, 2017 at 1:41 PM, Aldy Hernandez <[email protected]> wrote:So.... ok to default to a lazy one, or are suggesting we leave things as they are?Either leave as-is or default to the lazy one.
Agreed. -- Nathan Sidwell
