diff options
| author | Jeff Davis | 2018-08-26 05:45:59 +0000 |
|---|---|---|
| committer | Jeff Davis | 2018-08-26 05:52:46 +0000 |
| commit | ba9d35b8eb8466cf445c732a2e15ca5790cbc6c6 (patch) | |
| tree | 7f6fc2f1234c4bf6bf788b9f4784a6448708a9b0 /src/backend/utils/adt/geo_spgist.c | |
| parent | cc2e457fe8a3f685b4f9b9dce05b0c027b39459f (diff) | |
Reconsider new file extension in commit 91f26d5f.
Andres and Tom objected to the choice of the ".tmp"
extension. Changing to Andres's suggestion of ".spill".
Discussion: https://postgr.es/m/88092095-3348-49D8-8746-EB574B1D30EA%40anarazel.de
Diffstat (limited to 'src/backend/utils/adt/geo_spgist.c')
0 files changed, 0 insertions, 0 deletions