diff options
| author | Bruce Momjian | 2011-03-11 03:04:00 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2011-03-11 03:04:00 +0000 |
| commit | 3f9cf6b336fb93f4e13943d9e873f5a4a167177a (patch) | |
| tree | cf35013d7120f5e8556eded9380c5628c2ed681f /src/tools/git-external-diff | |
| parent | 303b7fcd10a34d8c8b4c3e6e258faeaf107dcf92 (diff) | |
When a smart pg_ctl shutdown fails, mention -m fast as a tip.
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions