Then even more so we want some more attention - would you be so kind and open a matching Debian report to pick up a change for this?
You could do all the explanation on the background and what (has not) happened.
I'll in the meantime convert your upstream patch to a proper debdiff for them to include.
Once you report back to me here what the new debian bug number is I can provide the debdiff there to ease the Debian maintainers work picking that change up.
Thanks Vaibhav for your quick response!
Then even more so we want some more attention - would you be so kind and open a matching Debian report to pick up a change for this?
You could do all the explanation on the background and what (has not) happened.
I'll in the meantime convert your upstream patch to a proper debdiff for them to include.
Once you report back to me here what the new debian bug number is I can provide the debdiff there to ease the Debian maintainers work picking that change up.