Re: [HACKERS] error detail when partition not found

On 2017/03/03 12:43, Robert Haas wrote:
> On Mon, Feb 27, 2017 at 9:54 AM, Amit Langote
> <Langote_Amit_f8@lab.ntt.co.jp> wrote:
>> Updated patch is attached.
> 
> Committed with one grammatical change to the comments.

Thanks.  I've marked this as fixed on the open item wiki page.

Thanks,
Amit