Add HISTORY items for 7.1.2.

Bruce Momjian <bruce@momjian.us>

Commit: e4f2bea7fb164aec53323ac6b86068f10d616150
Author: Bruce Momjian <bruce@momjian.us>
Date: 2001-05-17T13:28:30Z
Releases: 7.2.1
Add HISTORY items for 7.1.2.

Files

PathChange+/−
doc/src/sgml/release.sgml modified +5 −1
HISTORY modified +4 −0
src/tools/pgcvslog modified +7 −1