Re: [PATCH 2/2] pkl: Disallow labels in pinned structs

poke-devel

From:	Mohammad-Reza Nabipoor
Subject:	Re: [PATCH 2/2] pkl: Disallow labels in pinned structs
Date:	Tue, 18 Jan 2022 17:19:54 +0330

Hi, Jose.

On Tue, Jan 18, 2022 at 01:37:54PM +0100, Jose E. Marchesi wrote:
> 
> This is OK for master.

Pushed.
Thanks.

Current Thread

[Next in Thread]

[PATCH 1/2] pkl: Disallow pinned unions, Mohammad-Reza Nabipoor, 2022/01/18
- [PATCH 2/2] pkl: Disallow labels in pinned structs, Mohammad-Reza Nabipoor, 2022/01/18
  - Re: [PATCH 2/2] pkl: Disallow labels in pinned structs, Jose E. Marchesi, 2022/01/18
    - Re: [PATCH 2/2] pkl: Disallow labels in pinned structs, Mohammad-Reza Nabipoor <=
- Re: [PATCH 1/2] pkl: Disallow pinned unions, Jose E. Marchesi, 2022/01/18
  - Re: [PATCH 1/2] pkl: Disallow pinned unions, Mohammad-Reza Nabipoor, 2022/01/18