From d8a8c2f213eac3ffbfedcf92ac4866675945736b Mon Sep 17 00:00:00 2001
From: Herman Schoenfeld <herman@sphere10.com>
Date: Fri, 17 Aug 2018 10:40:08 +1000
Subject: [PATCH] PIP-0009: rev4 in header

---
 PIP/PIP-0009.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PIP/PIP-0009.md b/PIP/PIP-0009.md
index c2fec6df7..bcf5c8f82 100644
--- a/PIP/PIP-0009.md
+++ b/PIP/PIP-0009.md
@@ -7,7 +7,7 @@
   Comments-URI: https://discord.gg/sJqcgtD  (channel #pip-0009)
   Status: Proposed
   Created: 2017-12-17
-  Updated: 2017-12-29 (rev2), 2018-01-01 (typos), 2018-02-06 (rev3)
+  Updated: 2017-12-29 (rev2), 2018-01-01 (typos), 2018-02-06 (rev3), 2018-08-17 (rev4)
 </pre>
 
 ## Summary