[Help-gnutls] Default record version

[Nikos Mavrogiannopoulos]

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!

regards,
Nikos