diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-10-14 23:09:07 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-10-14 23:09:07 +0200 |
commit | 51861587c670c390b3420f0da6a86111b386f750 (patch) | |
tree | 8fac54c665fb467ce9d972d5a79b64c406cd2a6a /doc | |
parent | 11c38cbe0dab636e5ae8de71a9a05dea7de6bb1f (diff) | |
download | patches-51861587c670c390b3420f0da6a86111b386f750.tar patches-51861587c670c390b3420f0da6a86111b386f750.tar.gz |
gnu: gnutls: Patch bug in 'set-session-server-name!'.
* gnu/packages/patches/gnutls-server-name-fix.patch: New file.
* gnu/packages/gnutls.scm (gnutls)[source]: Use it.
* gnu-system.am (dist_patch_DATA): Add it.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions