On 24/11/2023 17:50, Christopher Obbard wrote:
Oh, turns out I completely forgot about that. I think it makes sense to release a new upstream Debos version, import that into Debian and drop your merge request. I will do that today.
Thanks for the quick fix Christopher! Have a nice week-end, Arnaud