Remove unused parameter
Peter Eisentraut <peter@eisentraut.org>
Remove unused parameter unused since 39bd3fd1db6f3aa3764d4a1bebcd71c4e9c00281 Discussion: https://www.postgresql.org/message-id/flat/511bb100-f829-ba21-2f10-9f952ec06ead%402ndquadrant.com
Files
| Path | Change | +/− |
|---|---|---|
| src/pl/plpgsql/src/pl_gram.y | modified | +4 −5 |
Discussion
- some unused parameters cleanup 8 messages · 2020-08-25 → 2020-08-26