On 15 April 2015 at 13:08, Mohammad Akhlaghi <[email protected]> wrote:
> Hello,
>
> First of all, I have to thank you for the great tool.
>
> In my HTML output, when I use
>
> @url{https://www.gnu.org/gnu/gnu-users-never-heard-of-gnu.html}
>
> I get the following HTML code:
>
> <a href="<span
> class="nocodebreak">https://www.gnu.org/gnu/gnu-users-never-heard-of-gnu.html</span>"><span
> class="nocodebreak">https://www.gnu.org/gnu/gnu-users-never-heard-of-gnu.html</span></a>
>
I couldn't reproduce this with a recent development version.
