On 2/28/24 14:36, Tom Lane wrote:
> Nathan Bossart <nathandbossart@gmail.com> writes:
>> On Wed, Feb 28, 2024 at 01:08:03PM -0600, Nathan Bossart wrote:
>>> -PostgreSQL Database Management System
>>> -=====================================
>>> +# PostgreSQL Database Management System
>
>> This change can be omitted, which makes the conversion even simpler.
>
> That's a pretty convincing proof-of-concept. Let's just do this,
> and then make sure to keep the file legible as plain text.
+1
--
Joe Conway
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com