Merge branch 'master' of ssh://git.postgresql.org/pgtranslation/messages
authorDennis Björklund <db@zigo.dhs.org>
Wed, 2 Aug 2017 20:22:49 +0000 (22:22 +0200)
committerDennis Björklund <db@zigo.dhs.org>
Wed, 2 Aug 2017 20:22:49 +0000 (22:22 +0200)

Trivial merge