Merge remote-tracking branch 'origin/release/19.12'
Description
Description
Details
Details
- Committed
mlaurent Nov 13 2019, 5:56 AM - Parents
- R91:c3ec7837f179: Use non-deprecated header
R91:882fcf5deebe: GIT_SILENT: Master is opened now. - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
c3ec7837f179 | vkrause | Use non-deprecated header | Nov 12 2019 | |||
e1357ae39eba | mlaurent | GIT_SILENT: Prepare 5.13.0beta1 | Nov 10 2019 |