Move a comment
authorPeter Eisentraut <peter@eisentraut.org>
Sat, 9 Jul 2022 11:22:46 +0000 (13:22 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sat, 9 Jul 2022 11:22:46 +0000 (13:22 +0200)
commit3e44aee3cea426e331c5cec6452b52bf8dd25e19
tree3d215bff0d2e92edb13ec891698858b8a80a6b61
parentec156cf974775914d8da942504b7282d124a594b
Move a comment

Move a comment from the to-be-deleted section of nodes.h to where it
might still be useful.
src/include/nodes/execnodes.h
src/include/nodes/nodes.h