|
| 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] |