Closed misch42 closed 5 years ago
Fixes #260 Citations are up to date.
FYI this PR was merged despite CI failing, hence the build is broken now. I'll try to fix it.
Fixes #260 Citations are up to date.