Re: Bug#41232: debian-policy: [PROPOSAL] Build-time dependencies on binary packages

[Roman Hodek]

> Yes, consider that a typo. I will not submit another patch as the
> fix is obvious.

Yep, that's what I thought as I seconded the proposal :-)

Roman