Skip to content

Draft: doc/conf.py: fetch copyright year from git commit

Oto Šťáva requested to merge doc-year into master

Using Git commit to avoid problems with reproducible builds; with fallback to system time in case Git is not available for whatever reason.

Merge request reports