mirror of https://github.com/postgres/postgres
Most people won't read them individually anyway, it's an easy way to find them, and it's a lot of duplicated information if they are kept in two different places.pull/3/head
parent
da9ed7dafd
commit
ddfc2d9a37