summaryrefslogtreecommitdiff
path: root/debian/patches/debian-banner.patch
diff options
context:
space:
mode:
authorColin Watson <cjwatson@debian.org>2016-12-26 00:56:20 +0000
committerColin Watson <cjwatson@debian.org>2016-12-26 00:58:36 +0000
commitf34e7a4deda39af73585fb2440e7ebc062940a6a (patch)
tree0fd69bca2a7c69396c227a03f66317d391040116 /debian/patches/debian-banner.patch
parentde911c73504da8dd7d9bbaddcf0c0845dd6eb9a0 (diff)
parent41265d4fa6f5946719155a08a19717a4ca229454 (diff)
Remove redundant "GSSAPIDelegateCredentials no" from ssh_config (already the upstream default), and document that setting ServerAliveInterval to 300 by default if BatchMode is set is Debian-specific (closes: #765630).
Diffstat (limited to 'debian/patches/debian-banner.patch')
-rw-r--r--debian/patches/debian-banner.patch2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/debian-banner.patch b/debian/patches/debian-banner.patch
index ad842c23f..20ceefe9c 100644
--- a/debian/patches/debian-banner.patch
+++ b/debian/patches/debian-banner.patch
@@ -1,4 +1,4 @@
1From 02a077d3c8f8491d277b2291d5ae538379c7ed44 Mon Sep 17 00:00:00 2001 1From 541f4f5664934bccc96a9b7a2a7e957ce2cff6af Mon Sep 17 00:00:00 2001
2From: Kees Cook <kees@debian.org> 2From: Kees Cook <kees@debian.org>
3Date: Sun, 9 Feb 2014 16:10:06 +0000 3Date: Sun, 9 Feb 2014 16:10:06 +0000
4Subject: Add DebianBanner server configuration option 4Subject: Add DebianBanner server configuration option