[sudo-commits] sudo changeset 11271:bd74d8b7fe83

[Todd C. Miller]

changeset:	11271:bd74d8b7fe83 in /raid/repos/sudo
details:	https://www.sudo.ws/repos/sudo/rev/bd74d8b7fe83
user:		Todd C. Miller <Todd.Miller at sudo.ws>
date:		Mon Mar 05 10:42:02 2018 -0700

Log Message:
	Add case_insensitive_group and case_insensitive_user sudoers options,
	which are enabled by default.

diffstat:

 doc/sudoers.cat             |  14 +++++++++++++-
 doc/sudoers.man.in          |  20 +++++++++++++++++++-
 doc/sudoers.mdoc.in         |  18 +++++++++++++++++-
 plugins/sudoers/def_data.c  |   8 ++++++++
 plugins/sudoers/def_data.h  |   4 ++++
 plugins/sudoers/def_data.in |   6 ++++++
 plugins/sudoers/defaults.c  |   2 ++
 plugins/sudoers/ldap.c      |   4 ++--
 plugins/sudoers/match.c     |  10 ++++++++--
 plugins/sudoers/pwutil.c    |  10 ++++++++--
 plugins/sudoers/sssd.c      |   6 +++---
 11 files changed, 90 insertions(+), 12 deletions(-)