Closed mattiaswal closed 3 weeks ago
Use deterministic font and add git hash to title page
Tick relevant boxes, this PR is-a or has-a:
Description
Use deterministic font and add git hash to title page
Checklist
Tick relevant boxes, this PR is-a or has-a: