Update patch set 3
Change has been successfully merged Patch-set: 3 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: SUBM=+1 Submission-id: 794806-missing-tgtermes.sty Submitted-with: OK Submitted-with: OK: Verified: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Code-Review: Gerrit User 14107 <14107@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Workflow: Gerrit User 14107 <14107@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Attention: {"person_ident":"Gerrit User 17685 \u003c17685@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"}
This commit is contained in:
parent
f66f72fe5e
commit
b2f6f9dd22