diff --git a/BROKEN b/BROKEN
deleted file mode 100644
index 47477942cd7..00000000000
--- a/BROKEN
+++ /dev/null
@@ -1 +0,0 @@
-(Nothing is broken at the moment AFAIK.)