Hi Luca, On 28/06/2022 16:23, Luca Fancellu wrote:
On 24 Jun 2022, at 18:25, Julien Grall <[email protected]> wrote: On 24/06/2022 14:34, Luca Fancellu wrote:On 24 Jun 2022, at 13:17, Julien Grall <[email protected]> wrote:Sorry for the late reply, this would be my changes, would you agree on them?
They LGTM. Cheers, -- Julien Grall
