diff --git a/tmp-repro b/tmp-repro
deleted file mode 160000
index 7ba7bf4..0000000
--- a/tmp-repro
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 7ba7bf41593c1a6cb7a46c7e570c55431adad3f8