diff options
| author | David Rowley | 2021-08-09 03:46:28 +0000 |
|---|---|---|
| committer | David Rowley | 2021-08-09 03:46:28 +0000 |
| commit | c26552f4fc4fb72c64103ea877ea3c2a251856ad (patch) | |
| tree | 95371ab2f447bc1a792c981f8ca162b94533a8b3 /src/tools/git-external-diff | |
| parent | 9268fc34526427a48bc27b5ac4727c7fb4cddf7a (diff) | |
Use ExplainPropertyInteger for queryid in EXPLAIN
This saves a few lines of code. Also add a comment to mention why we use
ExplainPropertyInteger instead of ExplainPropertyUInteger given that
queryid is a uint64 type.
Author: David Rowley
Reviewed-by: Julien Rouhaud
Discussion: https://postgr.es/m/CAApHDvqhSLYpSU_EqUdN39w9Uvb8ogmHV7_3YhJ0S3aScGBjsg@mail.gmail.com
Backpatch-through: 14, where this code was originally added
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions