GSSAPI patch for Ubuntu/Debian

Hi,

Attached is a one-liner that fixes a segfault in 8.1.17 when compiled
against libgssapi2-heimdal on Ubuntu Jaunty. Looks like a typo?

Andras

diff --git a/console/console.c b/console/console.c
index 9396a62..350d4d2 100644
--- a/console/console.c
+++ b/console/console.c
@@ -228,7 +228,7 @@ AttemptGSSAPI(pcf)
 			     GSS_C_MUTUAL_FLAG, 0,
 			     GSS_C_NO_CHANNEL_BINDINGS, &servertok, NULL,
 			     &mytok, NULL, NULL);
-    gss_release_buffer(NULL, &mytok);
+    gss_release_buffer(&stmin, &mytok);
 
     ret = (stmaj == GSS_S_COMPLETE);
     gss_release_name(&stmin, &gss_server_name);