|
From: | Jose E. Marchesi |
Subject: | Re: [PATCH 2/2] Rename gl/libpoke.la to gl/libgnu.la |
Date: | Thu, 26 Mar 2020 21:21:08 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
2020-03-26 Tim Rühsen <address@hidden> * bootstrap.conf: Set gnulib_name=libgnu * src/Makefile.am: Rename libpoke to libgnu. OK for master. Thanks!
[Prev in Thread] | Current Thread | [Next in Thread] |