Merge remote-tracking branch 'translate/17.11.12-translate-20181126' into 17.11.x
authorFridolin Somers <fridolin.somers@biblibre.com>
Mon, 26 Nov 2018 15:08:37 +0000 (16:08 +0100)
committerFridolin Somers <fridolin.somers@biblibre.com>
Mon, 26 Nov 2018 15:08:37 +0000 (16:08 +0100)

Trivial merge