]> granicus.if.org Git - postgresql/commit
Remove dead assignment
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 30 Jan 2018 01:41:36 +0000 (20:41 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 30 Jan 2018 01:41:36 +0000 (20:41 -0500)
commit6ad3611e1ea6fef6ac0c746d1565b3f6a856b593
treee8456c2344c7ad4e568363e6d613dacaf51a8b45
parentc12693d8f3bbbffcb79f6af476cc647402e1145e
Remove dead assignment

per scan-build
contrib/spi/refint.c