Update patch set 2

Patch Set 2: Code-Review-1

no docs job is configured in this repository.
I cannot verify the PDF build works well.

Patch-set: 2
Reviewer: Gerrit User 841 <841@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Label: Code-Review=-1
This commit is contained in:
Gerrit User 841 2019-09-07 09:42:52 +00:00 committed by Gerrit Code Review
parent 4eaafbcf4e
commit 78608b4d8f

Diff Content Not Available