Bug#514307: pull request

[Adam D. Barratt]

Hi,

On 2014-03-03 10:44, Rolf Leggewie wrote:
> hoping that this could land after lingering for about 5 years I've
> pushed the relevant patch to alioth git in a branch called
> pull-request1.  The branch is based off the tip of the current master.
> Thank you for your kind consideration.

Thanks for the patch.

I'm not particularly involved with devscripts maintenance these days; 
I'm afraid it's unlikely I'll look at this myself in the near future.

Regards,

Adam