Merge branch 'master' of ssh://git.postgresql.org/pgtranslation/messages
authorDennis Björklund <db@zigo.dhs.org>
Wed, 26 Jul 2017 04:26:37 +0000 (06:26 +0200)
committerDennis Björklund <db@zigo.dhs.org>
Wed, 26 Jul 2017 04:26:37 +0000 (06:26 +0200)

Trivial merge