Index: branches/fc11-dev/server/common/patches/openssh-4.7p1-gssapi-name-in-env.patch
===================================================================
--- branches/fc11-dev/server/common/patches/openssh-4.7p1-gssapi-name-in-env.patch	(revision 1228)
+++ branches/fc11-dev/server/common/patches/openssh-4.7p1-gssapi-name-in-env.patch	(revision 1228)
@@ -0,0 +1,16 @@
+--- openssh-4.7p1/gss-serv.c
++++ openssh-4.7p1/gss-serv.c
+@@ -355,6 +355,13 @@
+ 		child_set_env(envp, envsizep, gssapi_client.store.envvar,
+ 		    gssapi_client.store.envval);
+ 	}
++	if (gssapi_client.exportedname.length != 0 &&
++	    gssapi_client.exportedname.value != NULL) {
++	        debug("Setting %s to %s", "SSH_GSSAPI_NAME",
++		    gssapi_client.exportedname.value);
++		child_set_env(envp, envsizep, "SSH_GSSAPI_NAME",
++		    gssapi_client.exportedname.value);
++	}
+ }
+ 
+ /* Privileged */