Jordi Adell

I have been using this patch for months now, with several repositories, several machines, and a variety of versions of Ubuntu and Debian. No bug found, yet.

@joeytwiddle Good to know that the patch was useful.