On Fri, Nov 3, 2017 at 9:45 AM, Geertjan Wielenga <[email protected]> wrote: > ...Not really a decision, just it feels safer to me personally to have someone > looking at them before I merge them....
Understood. I just wanted to make sure you guys are not going to RTC everything including such trivial changes ;-) -Bertrand
