converters: rename extra_git_headers in revision to extra_headers
Description
Description
Details
Details
- Provenance
olasd Authored on May 11 2016, 2:33 PM vlorentz Pushed on May 17 2019, 1:53 PM - Parents
- rDSTOC2c719ee74b4a: Change the server's imports to absolute ones
- Branches
- Unknown
- Tags