Commit 25e53d311971dd656fb0f98f27855ce716b3c72e

Bruno Haible 2019-12-21T12:51:50

threadlib: Remove unused dependency (left over from 2019-07-06). * modules/threadlib (Depends-on): Remove havelib.