git.postgresql.org Git - postgresql.git/commit
Sat, 9 Jul 2022 11:22:46 +0000 (13:22 +0200)
Sat, 9 Jul 2022 11:22:46 +0000 (13:22 +0200)
commit 3e44aee3cea426e331c5cec6452b52bf8dd25e19
Move a comment
Move a comment from the to-be-deleted section of nodes.h to where it
might still be useful.
This is the main PostgreSQL git repository.
RSS
Atom