diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-06-13 23:20:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-13 23:22:19 +0200 |
| commit | 8e469b67f95cfe5b95405b503b8ee315fdf8ce66 (patch) | |
| tree | 851fef8a3231b0dec9cbb40a8e8e7b7876764cfb /gnu/packages/gnuzilla.scm | |
| parent | 4e863eb35fd8337eab48928e7733b7f6b7b2c242 (diff) | |
gnu: guile-ssh: Close RREPL channel ports before they are finalized.
Partly fixes <https://bugs.gnu.org/26976>.
* gnu/packages/patches/guile-ssh-channel-finalization.patch: New file.
* gnu/packages/ssh.scm (guile-ssh)[source](patches): Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/packages/gnuzilla.scm')
0 files changed, 0 insertions, 0 deletions