Summary of changes: 48973fa... Fix DSO linking against gnutls (#819976) (*) 06c9429... Apply patch correctly (*) 3c2579a... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent