Remove stray diff introduced by a5cbdeb98a.
authorJeff Davis <jdavis@postgresql.org>
Wed, 26 Feb 2025 21:37:14 +0000 (13:37 -0800)
committerJeff Davis <jdavis@postgresql.org>
Wed, 26 Feb 2025 21:37:14 +0000 (13:37 -0800)
commit15df9d7b5123b2b478886175c17cd0c0359d9996
tree16c3e24195ece45bb85280bc54cb25a9eac24e59
parent40e27d04b4f643cfb78af8db42a1f2e700ec9876
Remove stray diff introduced by a5cbdeb98a.

Reported-by: Michael Paquier <michael@paquier.xyz>
Discussion: https://postgr.es/m/Z77IkjmmfbFfNh3f@paquier.xyz
src/include/catalog/pg_proc.dat