On 16-01-17 01:31 AM, Joel Brobecker wrote: >>> So it doesn't seem necessary. >> >> Works for me. The patch LGTM. Maybe wait a few more days to >> give others a chance to chime in though. > > LGTM too; and, for the record, I am very happy about this change. If there is no objection, I would push this tomorrow.