Gerrit Code Review 05fb5246d4 Update notes for submitted changes ...

* contrib/jenkins.sh: Fix PUBLISH
* contrib/jenkins.sh: first upload manuals, then execute physical tests

2022-02-09 17:25:27 +00:00

..

08fc3b49483bac12c70c97eb7565dcf5e19853

Update notes for submitted changes

2022-02-09 17:25:27 +00:00

590c5483965051b638bde638eb28beee371fa9

Update notes for submitted changes

2021-11-11 08:42:38 +00:00