Remove duplicated words in comments
Michael Paquier <michael@paquier.xyz>
Remove duplicated words in comments Author: Daniel Gustafsson Reviewed-by: Vik Fearing Discussion: https://postgr.es/m/EBC3BFEB-664C-4063-81ED-29F1227DB012@yesql.se
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/executor/nodeAgg.c | modified | +2 −2 |
| src/backend/utils/adt/jsonpath_exec.c | modified | +1 −1 |
| src/bin/pg_upgrade/version.c | modified | +1 −1 |
Discussion
- Duplicate words in comments 3 messages · 2020-02-17 → 2020-02-18