From 9f58ad6a45b8543eb3a139b1af82ec880bf08080 Mon Sep 17 00:00:00 2001 From: Niclas Zeising Date: Thu, 20 Aug 2020 19:14:53 +0000 Subject: [PATCH] Add ufm(4) to ObsoleteFiles.inc The ufm driver was removed in r364432, add the manual to ObsoleteFiles. OK by: imp --- ObsoleteFiles.inc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc index 616b47eac52..2b7eccdc800 100644 --- a/ObsoleteFiles.inc +++ b/ObsoleteFiles.inc @@ -36,6 +36,9 @@ # xargs -n1 | sort | uniq -d; # done +# 20200820: Removal of the ufm driver. +OLD_FILES+=usr/share/man/man4/ufm.4.gz + # 20200816: new clang import which bumps version from 10.0.1 to 11.0.0. OLD_FILES+=usr/lib/clang/10.0.1/include/cuda_wrappers/algorithm OLD_FILES+=usr/lib/clang/10.0.1/include/cuda_wrappers/complex -- 2.45.0