Create change

Uploaded patch set 1.

Patch-set: 1
Change-id: I6f1bbbc8d3ac04e8a82fb954c59ec30d6be46c13
Subject: contrib/jenkins.sh: werror with WITH_MANUALS too
Branch: refs/heads/master
Status: new
Topic: 
Commit: a3193e4daa
Tag: autogenerated:gerrit:newPatchSet
Groups: a3193e4daa
Private: false
Work-in-progress: false
This commit is contained in:
Gerrit User 1000147 2022-12-21 15:22:08 +00:00 committed by Gerrit Code Review
commit 3c05f679f7

Diff Content Not Available