On 1/9/18, 9:24 AM, "Robert Haas" <robertmhaas@gmail.com> wrote:
> On Mon, Jan 8, 2018 at 11:27 PM, Michael Paquier
> <michael.paquier@gmail.com> wrote:
>> On Thu, Dec 28, 2017 at 10:46:18PM +0000, Bossart, Nathan wrote:
>>> I agree, this makes more sense. I've made this change in v3 of 0003.
>>
>> Based on the opinions gathered on this thread, 0001 and 0002 seem to be
>> in the shape wanted, and those look good for shipping.
>
> Committed 0001.
Thanks!
Nathan
