Hi Todd, Todd C. Miller wrote on Wed, Sep 16, 2020 at 01:36:09PM -0600: > On Wed, 16 Sep 2020 18:17:36 +0200, Ingo Schwarze wrote:
>> Does anyone think that explicitely excluding these file system >> types might still be useful, or is the following simplification >> OK? No functional change intended. > I think those bits can go. OK millert@ Committed, thanks for checking. Ingo