Merge branch 'generation_status' into 'master'
Generation status
See merge request hej/HEJ!29
Description
Description
Details
Details
- Provenance
Jeppe R. Andersen <jeppe.andersen@durham.ac.uk> Authored on May 28 2019, 1:27 PM hej Pushed on Jan 14 2021, 6:07 PM - Parents
- rHEJ9fb180dca40b: assert on the right place
rHEJ25b4414d9396: Merge branch 'authors' into 'master' - Branches
- Unknown
- Tags
Merged Changes
Merged Changes