diff options
author | Peter Eisentraut | 2023-08-24 06:26:13 +0000 |
---|---|---|
committer | Peter Eisentraut | 2023-09-26 06:56:41 +0000 |
commit | eb36c6ac8478e664edebe8131ffa23c394e487cc (patch) | |
tree | b32ad57f96fd2959794db89d3aee21a55640cf04 /contrib/pgcrypto/pgp-mpi.c | |
parent | e221c0befb1b23130d87c26a1a2479019b9d565d (diff) |
Remove unused include
This was added in add5cf28d4 but was apparently never used.
Discussion: https://www.postgresql.org/message-id/flat/f84640e3-00d3-5abd-3f41-e6a19d33c40b@eisentraut.org
Diffstat (limited to 'contrib/pgcrypto/pgp-mpi.c')
0 files changed, 0 insertions, 0 deletions