[sudo-commits] sudo changeset 9531:71b13bada1ce

[Todd C. Miller]

changeset:	9531:71b13bada1ce in /home/hg/sudo
details:	http://www.sudo.ws/repos/sudo/rev/71b13bada1ce
user:		Todd C. Miller <Todd.Miller at courtesan.com>
date:		Sat Jul 12 09:16:36 2014 -0600

Log Message:
	Avoid running check_symbols for static sudoers

diffstat:

 plugins/sudoers/Makefile.in |  4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)