diff options
author | nd101 <Fong@nd.com.cn> | 2019-07-03 09:41:06 +0800 |
---|---|---|
committer | Michael Stahl <Michael.Stahl@cib.de> | 2019-07-04 15:50:03 +0200 |
commit | 0d332f311dddd15ec224e6b0dfafc17901d1e78a (patch) | |
tree | 827bafb8fad155b1a61c82bc1bc290d880cdb1c3 /external/languagetool | |
parent | e79dbb8c6c4d2cf1ce2cf0ce67c53ed4bb09898b (diff) |
Fix libgpg-error compilation error with gawk5
This is an adaptation of upstream patch
https://github.com/gpg/libgpg-error/commit/7865041c77f4f7005282f10f9b6666b19072fbdf
plus a fix to Makefile.in
Change-Id: I5bf946cf93e5849b8a3428064ab86f6255be97da
Reviewed-on: https://gerrit.libreoffice.org/75022
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Tested-by: Mike Kaganski <mike.kaganski@collabora.com>
(cherry picked from commit af3b993ebea2f653fabba981d4c22b9aa779b32a)
Reviewed-on: https://gerrit.libreoffice.org/75074
Tested-by: Jenkins
Reviewed-by: Michael Stahl <Michael.Stahl@cib.de>
Diffstat (limited to 'external/languagetool')
0 files changed, 0 insertions, 0 deletions