On Mon, 13 Aug 2018, Zoltan Somogyi wrote: > We discussed the desirability of this change about a month ago. > For possible post-commit review by Julien. That looks fine. Julien.