Merge branch 'master' of ssh://git.postgresql.org/press
authorAndreas Scherbaum <andreas@scherbaum.biz>
Thu, 8 Sep 2011 18:55:21 +0000 (20:55 +0200)
committerAndreas Scherbaum <andreas@scherbaum.biz>
Thu, 8 Sep 2011 18:55:21 +0000 (20:55 +0200)

Trivial merge