diff options
| author | Jeff Davis | 2022-09-20 17:41:34 +0000 |
|---|---|---|
| committer | Jeff Davis | 2022-09-20 17:52:01 +0000 |
| commit | bb44a6ba48edfe1ac8bca87b1f2cfdcd9f86c930 (patch) | |
| tree | b354c297bac39c8fccd4ef9c70442b15c889bd3e /src/tools/git-external-diff | |
| parent | 3d53b9ef1a4cda7b6303a0496f8531eceeef0e77 (diff) | |
Improve comment for OAT_POST_CREATE.
Clarify that the command counter may or may not have been incremented.
We may want to change the behavior to be more consistent, but until
that time, at least improve the comment.
Discussion: https://postgr.es/m/CAHoZxqvN2eoic_CvjsAvpryyLyA2xG8JmsyMtKFFJz_1oFhfOg%40mail.gmail.com
Reported-by: Mary Xu
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions