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 /gnu/system | |
| 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 'gnu/system')
0 files changed, 0 insertions, 0 deletions