diff options
| author | Andres Freund | 2014-10-20 22:20:08 +0000 |
|---|---|---|
| committer | Andres Freund | 2014-10-20 22:20:08 +0000 |
| commit | 11abd6c90f1094eaeee32e1c57d250c9db5102cb (patch) | |
| tree | fb45dfa7bdf83dc6e5189de30e5943c94e5110e3 /src/tools/git-external-diff | |
| parent | 7dbb60693820c20b562c12f58040c9871d6ab787 (diff) | |
Renumber CHECKPOINT_* flags.
Commit 7dbb6069382 added a new CHECKPOINT_FLUSH_ALL flag. As that
commit needed to be backpatched I didn't change the numeric values of
the existing flags as that could lead to nastly problems if any
external code issued checkpoints. That's not a concern on master, so
renumber them there.
Also add a comment about CHECKPOINT_FLUSH_ALL above
CreateCheckPoint().
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions