Merge pull request #1832 from jnpkrn/doc-contributing-update
Doc: CONTRIBUTING: update devel doc deadlink & URI schemes to https
Description
Description
Details
Details
- Provenance
kgaillot Authored on Jul 16 2019, 10:33 AM GitHub <noreply@github.com> Committed on Jul 16 2019, 10:33 AM - Parents
- rP066e638eccd5: Doc: CONTRIBUTING: update devel doc deadlink & URI schemes to https
rP8e93201ca25d: Merge pull request #1831 from tomjelinek/doc-quick-ref-pcs-0.10 - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes