Re: Global dict name is listed inconsistently

On Fri, Aug 24, 2018 at 08:43:21PM +0200, Adam wrote:
> Yes, it does, thank you.
> 
> Now it's clear why there are two different names. 

Patch backpatched through 9.3.  Thanks for the report.

-- 
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +