On Tue, 07 Jul 2015 15:51:12 +0200, Martin Pieuchot wrote: > I'd like to remove this 16 years old define. We always used the correct > behavior. My goal is to reduce the uses of if_get(). > > Ok?
I'm in favor of fewer useless knobs. OK millert@. - todd