bug#33195: 27.0.50; user-login-name has no group-login-name

[Eli Zaretskii]

> From: Jules Tamagnan <jtamagnan@gmail.com>
> Cc: 33195@debbugs.gnu.org
> Date: Tue, 30 Oct 2018 11:28:16 -0700
> 
> I noticed that I had marked GID as optional in the manual, below is a
> patch with that fixed.

Thanks, I pushed this to the master branch, and I'm closing the bug
report.

Please note the following nits for the future:

 . Please include a ChangeLog-style commit log message, which names
   all the new/modified functions and nodes in the manuals.
 . Arguments to functions should be tested for validity, to avoid
   crashes if called with invalid arguments.
 . The first line a of a doc string should be a complete sentence
   shorter than 80 characters, so it fits on a single screen line, and
   it should mention all the mandatory arguments of the function.