Hi Peter, all, So GRASS GIS 8.3.2 has been published and no trace of it in Zenodo: https://zenodo.org/records/10685321 The GitHub-Zenodo bridge seems to be unstable? Ideas welcome, Markus