On Fri, Feb 3, 2017 at 4:28 AM, Jesper Pedersen
<jesper.pedersen@redhat.com> wrote:
> On 02/02/2017 02:24 PM, Robert Haas wrote:
>>
>> So, committed. Wow, I wish every patch had this many reviewers.
>>
>
> Thanks Robert !
9 people in total per the commit message. Yes that's rare, and thanks
for doing the effort to list everybody.
--
Michael
