Jason Gross (Sep 09 2020 at 23:21): Jason Gross (Sep 09 2020 at 23:21):Zenmodo only lists versions up to 8.11.0 (https://zenodo.org/search?page=1&size=20&q=conceptrecid:%221003420%22&sort=-version&all_versions=True). Is there supposed to be 8.12.0 as well, there?
Théo Zimmermann (Sep 10 2020 at 07:25):Sorry, I still haven't taken care of this. (I should work on automating it.)
Théo Zimmermann (Sep 10 2020 at 08:12):Done! cc also @Karl Palmskog
Last updated: Jun 08 2023 at 04:01 UTC