Subject: Re: Missing hyperlinks in HTML docs

From: Michael Hertling <[email-masked]>
Date: Fri, 22 Jun 2012 01:58:05 +0200

On 06/21/2012 08:24 AM, Jeff King wrote:

> The patch below should solve it.

Yes, it does. Many thanks for your quick reply and the patch.

Regards,

Michael