Create change

Uploaded patch set 1.

Patch-set: 1
Change-id: Ic277f37413cb338f4f9bdf4c5fc033d94a2cd5db
Subject: contrib/jenkins.sh: run "make {distcheck,maintainer-clean}"
Branch: refs/heads/master
Status: new
Topic: make-maintainer-clean
Commit: a4203f84c7
Tag: autogenerated:gerrit:newPatchSet
Groups: a4203f84c7
Private: false
Work-in-progress: false
This commit is contained in:
Gerrit User 1000147 2019-07-10 12:05:02 +00:00 committed by Gerrit Code Review
commit a13c8eb227

Diff Content Not Available