2020-11-18 November release (Hotfix)
updated v1.2.25 (18 November 2020)
- Updated ROBOT to new version 1.7.2, which includes some hotfixes for ROBOT report and update to whelk 1.0.4
- Fixed a bug (#376) that prevented certain things (like imports and pattern generation processes) to be printed when running the Makefile.