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

Reported-by: Michael Paquier
Discussion: https://postgr.es/m/[email protected]
src/include/catalog/pg_proc.dat