[gnutls/f19] (5 commits) ...Merge branch 'f20' into f19

[Nikos Mavrogiannopoulos]

Summary of changes:

  57d4957... Fixed issue with gnutls.info not being available (*)
  c7a8b70... updated to 3.1.20 (*)
  04f2e8d... Fixed certificate verification issue CVE-2014-1959 (#106523 (*)
  5b6a2d9... Corrected referenced bug (*)
  bf79a01... Merge branch 'f20' into f19

(*) This commit already existed in another branch; no separate mail sent