On Fri, Dec 23, 2016 at 8:13 AM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Thu, Dec 22, 2016 at 2:34 PM, Andres Freund <andres@anarazel.de> wrote:
>> On 2016-12-22 08:32:56 -0800, Andres Freund wrote:
>>> I plan to commit this later today. Hope I got the reviewers roughly right.
>>
>> And pushed. Thanks for the work on this everyone.
>
> Cool. Also, +1 for the important/unimportant terminology. I like that.
Thanks for the commit.
--
Michael