Webhuis/Cfengine-debian — pull request #7 by basvandervlies (2013-10-03 15:16:23+00:00)
Title: Fix pid directory

I also disabled the other patches in the 'series' files as i thnk they don't work anymore