Fix typo in header comment for set_operation_ordered_results_useful
authorDavid Rowley <drowley@postgresql.org>
Fri, 29 Nov 2024 02:56:24 +0000 (15:56 +1300)
committerDavid Rowley <drowley@postgresql.org>
Fri, 29 Nov 2024 02:56:24 +0000 (15:56 +1300)
commitb6612aedc53a6bf069eba5e356a8421ad6426486
tree7f2f74537317c0562564384e5cc71c6a68bff768
parent18954ce7f69b0a4725b1cf1845ed5fd3874e2a92
Fix typo in header comment for set_operation_ordered_results_useful

Reported-by: Richard Guo
Discussion: https://postgr.es/m/CAMbWs492vMy3XNjDZRtqtHfFTK6HVeDwhrEQH7eXGgF_h5Jnzw@mail.gmail.com
src/backend/optimizer/prep/prepunion.c