diff --git a/40b11c098c0d2346eae3e258b937544a57e6fb69 b/40b11c098c0d2346eae3e258b937544a57e6fb69
new file mode 100644
index 00000000..569d70dd
--- /dev/null
+++ b/40b11c098c0d2346eae3e258b937544a57e6fb69
@@ -0,0 +1 @@
+The partial fix was in 4.0.2, actually.