On Tue, Jan 30, 2018 at 04:59:53PM +0000, Jean-Pierre Chrétien wrote: > What do you think?
I am fine with whatever you suggest. Thank you for that detailed explanation, Jean-Pierre! Since these are somewhat big changes, perhaps let's just do them in master, unless you have a strong preference for doing them before 2.3.0? Scott
