I like this idea.
> On Jan 8, 2024, at 4:09 AM, Piotr P. Karwasz wrote:
>
> Hi all,
>
> Following the discussion in PR#2166, I would like to change the dep
> management convention I mentioned in 2022.
>
> On Mon, 12 Sept 2022 at 09:11, Piotr P. Karwasz
> wrote:
>> It would be also nice to sy
+1
On Mon, Jan 8, 2024 at 11:11 AM Piotr P. Karwasz
wrote:
> Hi all,
>
> Following the discussion in PR#2166, I would like to change the dep
> management convention I mentioned in 2022.
>
> On Mon, 12 Sept 2022 at 09:11, Piotr P. Karwasz
> wrote:
> > It would be also nice to synchronise the `po
