Re: libdirmgt, possibly dead code

2021-10-14 Thread jbranso
October 14, 2021 5:47 AM, "Andrea Monaco" wrote: > Hello, > > it seems that directory libdirmgt in hurd is dead. It is ignored by > top-level Makefile, and it contains just a header file. I would encourage you to make a git patch and post it here. :) > > Warmly, > > Andrea Monaco

libdirmgt, possibly dead code

2021-10-14 Thread Andrea Monaco
Hello, it seems that directory libdirmgt in hurd is dead. It is ignored by top-level Makefile, and it contains just a header file. Warmly, Andrea Monaco