From bf800d7023b79762f35474d00adb1b5b576ac68b Mon Sep 17 00:00:00 2001
From: Zack Weinberg <zackw@panix.com>
Date: Sun, 31 Dec 2017 17:12:01 -0800
Subject: [PATCH] Remove accidentally-committed junk file dev/null

---
 dev/null | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 dev/null

diff --git a/dev/null b/dev/null
deleted file mode 100644
index e69de29bb2d..00000000000
-- 
2.47.2