[Help-gnutls] Re: Default record version

[Simon Josefsson]

Nikos Mavrogiannopoulos <nmav at gnutls.org> writes:

> Martin von Gagern wrote:
>> Nikos Mavrogiannopoulos wrote:
>>> Corrected. Thank you.
>> 
>> No, that's not the one I'm talking about. I wrote about
>> gnutls_priority_init(3) while you fixed gnutls-cli(1). The attached
>> patch fixes gnutls_priority_init(3), but in a very hackish way, treating
>> a percent sign as indicating a constant only if it is not immediately
>> preceded by a double quote.
>
> Applied as is. Thank you!

This seems to break texinfo building:

http://autobuild.josefsson.org/gnutls/log-200902222047566880000.txt

/Simon