diff options
| author | Bruce Momjian | 2023-09-26 23:44:22 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2023-09-26 23:44:22 +0000 |
| commit | 5f567b3c35c10668f62839a4a6d111b2d62e770a (patch) | |
| tree | 5bfa09c10ba953555babb6e890390a18594fbe71 /src/tools/git-external-diff | |
| parent | eec2190b8c9b353c74aa03124d5664614c475305 (diff) | |
doc: clarify the effect of concurrent work_mem allocations
Reported-by: Sami Imseih
Discussion: https://postgr.es/m/66590882-F48C-4A25-83E3-73792CF8C51F@amazon.com
Backpatch-through: 11
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions