Robert Haas cacbdd7810 Use appendStringInfoString instead of appendStringInfo where possible.
This shaves a few cycles, and generally seems like good programming
practice.

David Rowley
2013-10-31 10:55:59 -04:00
..
2011-04-25 22:27:11 +03:00
2013-05-29 16:58:43 -04:00