diff options
| author | Andrew Dunstan | 2023-08-24 20:14:26 +0000 |
|---|---|---|
| committer | Andrew Dunstan | 2023-08-24 20:14:26 +0000 |
| commit | b915bf495ff48c4f57a22a90dfddc38be7a9845e (patch) | |
| tree | 6a9d3e94eb31af2cec97ee23e7d0721b4dfbfd9c /src/backend/lib | |
| parent | 9c59f3862b182dffa85e7d1ea924187c22ace086 (diff) | |
Include header file inadvertently missed in commit 2d13dab048
per gripe from Tom Lane.
Diffstat (limited to 'src/backend/lib')
0 files changed, 0 insertions, 0 deletions