diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-12-06 13:21:11 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-07 00:29:10 +0100 |
commit | 2617d956d8ae122128a1ba2cc74983cbd683b042 (patch) | |
tree | 7888c19d2e7ec748c2b7ba538679baebe6a77543 /.gitignore | |
parent | 1b3fa123ea50f1dae3a9c8e986c3f6b3bb477314 (diff) | |
download | patches-2617d956d8ae122128a1ba2cc74983cbd683b042.tar patches-2617d956d8ae122128a1ba2cc74983cbd683b042.tar.gz |
machine: ssh: Deprecate missing 'host-key' field.
* gnu/machine/ssh.scm (machine-ssh-session): Warn about missing host key.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions