poke-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] poke: define empty update_screen_dimensions if not available


From: Hannes Domani
Subject: Re: [PATCH] poke: define empty update_screen_dimensions if not available
Date: Sat, 17 Feb 2024 11:24:02 +0000 (UTC)

 Am Samstag, 17. Februar 2024 um 10:46:35 MEZ hat Jose E. Marchesi 
<jemarch@gnu.org> Folgendes geschrieben:

> Hi Hannes.
> OK for both master and maint/poke-4.

Thanks, pushed to both.


Hannes


reply via email to

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