Re: [PATCH] ios: re-use ID if possible

poke-devel

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

Re: [PATCH] ios: re-use ID if possible

From:	Mohammad-Reza Nabipoor
Subject:	Re: [PATCH] ios: re-use ID if possible
Date:	Thu, 26 Jan 2023 01:22:20 +0100

Hi Jose.

On Sun, Jan 22, 2023 at 03:27:15PM +0100, Jose E. Marchesi wrote:
> This is OK, but for master only after we branch maint/poke-3.

Pushed to master.
Thanks.

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] ios: re-use ID if possible, Mohammad-Reza Nabipoor, 2023/01/22
- Re: [PATCH] ios: re-use ID if possible, Jose E. Marchesi, 2023/01/22
  - Re: [PATCH] ios: re-use ID if possible, Mohammad-Reza Nabipoor <=

Prev by Date: Re: [PATCH 1/2] std.pk: add new functions `isdigit_p' and `isxdigit_p'
Next by Date: Re: [PATCH 2/2] pickles: add bincodec.pk
Previous by thread: Re: [PATCH] ios: re-use ID if possible
Next by thread: [COMMITTED] pkl: make computed field setters and getters optional
Index(es):
- Date
- Thread