From f309fa507f51b1118c91f042ad5611e73bbe22bb Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Tue, 17 Jul 2018 14:24:47 +0200
Subject: [PATCH] update pet for direct header inclusions

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 pet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pet b/pet
index 6d63cf8..4d6533f 160000
--- a/pet
+++ b/pet
@@ -1 +1 @@
-Subproject commit 6d63cf8d5f2530717c05087a5fa0bd3fa1c58f16
+Subproject commit 4d6533f234a0ef323afd9a14a143ce66820d4f58
-- 
2.11.4.GIT