Thanks for your confirm. Is there anything I can do? On Dec 12, 2019, at 11:13 PM, Tom Lane <t...@sss.pgh.pa.us<mailto:t...@sss.pgh.pa.us>> wrote:
Ah, after looking in the git history, not quite that ancient: this duplication dates to commit 258ee1b63, which moved these switch cases from the "if (type == RESERV)" switches in the same functions. In the previous coding these function calls were actually necessary, but here they're redundant. I guess that's just additional ammunition for Greg's point that the keywords were misclassified ;-).