Re: [PATCH 1/9] utils: fix build and distribution of `pk-jojopatch'

poke-devel

From:	Mohammad-Reza Nabipoor
Subject:	Re: [PATCH 1/9] utils: fix build and distribution of `pk-jojopatch'
Date:	Thu, 28 Dec 2023 16:07:45 +0100

Hi Jose.

On Thu, Dec 28, 2023 at 03:12:44PM +0100, Jose E. Marchesi wrote:
> 
> This qualifies as obvious.

Sure :)
Pushed.
Thanks!

Current Thread

[Next in Thread]

Re: [PATCH 6/9] pkl: change `pkl_ast_format_loc' function, (continued)
- [PATCH 5/9] pkl: keep track of current filename in codgen, Mohammad-Reza Nabipoor, 2023/12/27
  - Re: [PATCH 5/9] pkl: keep track of current filename in codgen, Jose E. Marchesi, 2023/12/28
    - Re: [PATCH 5/9] pkl: keep track of current filename in codgen, Mohammad-Reza Nabipoor, 2023/12/28
- [PATCH 8/9] pkl: report evaluation location in E_constraint exception, Mohammad-Reza Nabipoor, 2023/12/27
- [PATCH 9/9] pkl: fix location info for unary/binary/ternary exp, Mohammad-Reza Nabipoor, 2023/12/27
  - Re: [PATCH 9/9] pkl: fix location info for unary/binary/ternary exp, Jose E. Marchesi, 2023/12/28
    - Re: [PATCH 9/9] pkl: fix location info for unary/binary/ternary exp, Mohammad-Reza Nabipoor, 2023/12/28
- Re: [PATCH 1/9] utils: fix build and distribution of `pk-jojopatch', Jose E. Marchesi, 2023/12/28
  - Re: [PATCH 1/9] utils: fix build and distribution of `pk-jojopatch', Mohammad-Reza Nabipoor <=