poke-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] pkl: fix `get_time'


From: Mohammad-Reza Nabipoor
Subject: Re: [PATCH] pkl: fix `get_time'
Date: Mon, 23 Jan 2023 23:41:36 +0100

Hi Jose.

On Mon, Jan 23, 2023 at 11:35:50PM +0100, Jose E. Marchesi wrote:
> 
> Hi Mohammad.
> 
> OK for master.

Pushed to master.
Thanks!



reply via email to

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