[buildd-tools-devel] Bug#588035: Status of these two patches

[Ansgar Burchardt]

Hi,

it's been a month since I provided patches for #586275 and #588035.  As
they are not yet applied in the Git repository, I wonder if there's any
problem with them.

Regards,
Ansgar