mirror of https://github.com/postgres/postgres
Move a comment from the to-be-deleted section of nodes.h to where it might still be useful.pull/92/head
parent
ec156cf974
commit
3e44aee3ce
Loading…
Reference in new issue