diff --git a/PR b/PR
deleted file mode 160000
index 35a1cb2..0000000
--- a/PR
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 35a1cb24e7b71503b7f8f896674a7ff878e239e2