diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-11-13 13:51:38 +0100 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-11-13 13:51:38 +0100 |
| commit | d20dceaf50ea093234ef6a66bb2dae485468bea2 (patch) | |
| tree | c9098d46bd7c69aa83218ddecbaa6a25c3f0bcdb /src/backend/utils/misc/ps_status.c | |
| parent | 6178f3cb798f2ea9011c55e99973f838719c550e (diff) | |
doc: Fix minor whitespace issue
Reported-by: David G. Johnston <david.g.johnston@gmail.com>
Diffstat (limited to 'src/backend/utils/misc/ps_status.c')
0 files changed, 0 insertions, 0 deletions