From 0ece7e42b850e7f7355c65cb341bcaf347eb2b0a Mon Sep 17 00:00:00 2001
From: Xin LI <delphij@FreeBSD.org>
Date: Mon, 5 Aug 2019 06:01:29 +0000
Subject: [PATCH] Remove obsolete header file.

---
 ObsoleteFiles.inc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
index ad4f6e702d3a..19adf066b1b4 100644
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@@ -38,6 +38,8 @@
 #   xargs -n1 | sort | uniq -d;
 # done
 
+# 20190729: gzip'ed a.out support removed
+OLD_FILES+=usr/include/sys/inflate.h
 # 20190722: cap_random(3) removed
 OLD_FILES+=lib/casper/libcap_random.so.1
 OLD_FILES+=usr/include/casper/cap_random.h