poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/2] Rename gl/libpoke.la to gl/libgnu.la


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!



reply via email to

[Prev in Thread] Current Thread [Next in Thread]