[sudo-commits] sudo changeset 10177:ebe6d5bb2274

[Todd C. Miller]

changeset:	10177:ebe6d5bb2274 in /media/repos/sudo
details:	http://www.sudo.ws/repos/sudo/rev/ebe6d5bb2274
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Sun Aug 09 16:12:00 2015 -0600

Log Message:
	disable_coredump can be set to no on modern OSes without
	security consequences.

diffstat:

 doc/sudo.cat          |   8 +++++---
 doc/sudo.conf.cat     |  16 +++++++++-------
 doc/sudo.conf.man.in  |  10 ++++++----
 doc/sudo.conf.mdoc.in |  12 +++++++-----
 doc/sudo.man.in       |   2 ++
 doc/sudo.mdoc.in      |   4 +++-
 6 files changed, 32 insertions(+), 20 deletions(-)