Hi, I'd like to fix #890571, and I think I know how [0]. This means committing to:
https://salsa.debian.org/science-team/libmseed and doing a (sponsored) team upload. As a group member ("Developer" gitlab role), I have write access to the repository [1], but I am not used to pushing commits for packages I do not (co)maintain. Should I just proceed, or is some preliminary coordination normally expected? Cc: Pierre Duperray (libmseed maintainer). Cheers, Paride [0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890571#12 [1] https://science-team.pages.debian.net/policy/#idm145