1
0
mirror of https://github.com/postgres/postgres.git synced 2025-05-05 09:19:17 +03:00
Peter Eisentraut 6ad3611e1e Remove dead assignment
per scan-build
2018-01-29 20:41:36 -05:00
..
2018-01-29 20:41:36 -05:00