poke-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] libpoke: rename pkl_ast_type_promoteable to pkl_ast_type_pro


From: Jose E. Marchesi
Subject: Re: [PATCH] libpoke: rename pkl_ast_type_promoteable to pkl_ast_type_promoteable_p
Date: Sun, 08 Nov 2020 20:57:26 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

Sorry this was a [COMMITTED] 8-)



reply via email to

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