From 0fbe7a6748db79bede3a0ccce464a76732b40ea1 Mon Sep 17 00:00:00 2001
From: "Todd C. Miller" <Todd.Miller@courtesan.com>
Date: Tue, 27 Jul 2010 14:51:15 -0400
Subject: [PATCH] Add back include file.

---
 sudo.pp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sudo.pp b/sudo.pp
index 0e08b129b..324412489 100644
--- a/sudo.pp
+++ b/sudo.pp
@@ -151,6 +151,7 @@ still allow people to get their work done."
 	$bindir/sudoedit    4111 root:
 	$sbindir/visudo     0111
 	$bindir/sudoreplay  0111
+	$includedir/sudo_plugin.h
 	$libexecdir/*
 	$sudoersdir/sudoers.d/	0750 $sudoers_uid:$sudoers_gid
 	$timedir/		0700 root:
-- 
2.40.0