On Wed, Feb 17, 2021 at 12:49:25PM +0100, Pali Rohár wrote: > Hello Dennis! Thank you for investigation and the patch. Will you update > also the package? Or should I do it? Note that I do not have Debian > Developer permissions so I can update new version of package only to > mentors server (which takes a long to appear in Debian archive...).
I have no upload permission anywhere, so you'll have to do it. If you feel like the normal process will take too long you could either ask around on IRC, set the help tag, ask the release team for advice, or as a last resort, contact a mentor/DD directly. If you mention that it's a small change and include a debdiff they're probably glad to help. Regards, Dennis.
