devel/jenkins: Readd accidentally deleted DIST_SUBDIR
This is a directly commit to 2021Q4 branch
Fixes: 10836ee57a09
Description
Description
Details
Details
- Provenance
lwhsu Authored on Nov 15 2021, 6:27 PM - Parents
- R11:de57ad51416c: databases/postgresql??-*: updated to latest version
- Branches
- Unknown
- Tags