Re: libdirmgt, possibly dead code

[Samuel Thibault]

Hello,

Andrea Monaco, le jeu. 14 oct. 2021 11:44:02 +0200, a ecrit:
> it seems that directory libdirmgt in hurd is dead.  It is ignored by
> top-level Makefile, and it contains just a header file.

Indeed, I have now dropped it.

Samuel