Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oQoto-00032e-Ua for pgsql-hackers@arkaria.postgresql.org; Wed, 24 Aug 2022 11:50:20 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1oQotn-00031Y-SV for pgsql-hackers@arkaria.postgresql.org; Wed, 24 Aug 2022 11:50:19 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oQotn-00031O-JC for pgsql-hackers@lists.postgresql.org; Wed, 24 Aug 2022 11:50:19 +0000 Received: from oss.nttdata.com ([49.212.34.109]) by makus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1oQotg-0008Ch-JZ for pgsql-hackers@lists.postgresql.org; Wed, 24 Aug 2022 11:50:18 +0000 Received: from oss.nttdata.com (localhost [127.0.0.1]) by oss.nttdata.com (Postfix) with ESMTPA id E56E961350; Wed, 24 Aug 2022 20:50:08 +0900 (JST) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.7 at oss.nttdata.com MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Wed, 24 Aug 2022 20:50:08 +0900 From: Shinya Kato To: David Rowley Cc: PostgreSQL Hackers Subject: Re: Fix typo in func.sgml In-Reply-To: References: <76c01275776749a167f49379ebec57f1@oss.nttdata.com> User-Agent: Roundcube Webmail/1.4.11 Message-ID: <6c5d13ca6ca3241f1c8e97a2be71955e@oss.nttdata.com> X-Sender: Shinya11.Kato@oss.nttdata.com List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk On 2022-08-24 20:47, David Rowley wrote: > On Wed, 24 Aug 2022 at 22:44, Shinya Kato > wrote: >> I've found a duplicate "a a" in func.sgml and fixed it. >> Patch is attached. > > Thanks. Pushed. > > David Thanks for pushing! -- Regards, -- Shinya Kato Advanced Computing Technology Center Research and Development Headquarters NTT DATA CORPORATION