[sudo-commits] sudo changeset 11144:f733f7ea97a7

[Todd C. Miller]

changeset:	11144:f733f7ea97a7 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/f733f7ea97a7
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Thu Dec 21 14:37:13 2017 -0700

Log Message:
	The session ID was added in 1.8.6p7 to prevent a user in another
	session from re-using the time stamp file.
	Other minor cleanups.

diffstat:

 doc/sudoers_timestamp.cat     |  27 ++++++++++++++++-----------
 doc/sudoers_timestamp.man.in  |  18 ++++++++++++------
 doc/sudoers_timestamp.mdoc.in |  18 ++++++++++++------
 3 files changed, 40 insertions(+), 23 deletions(-)